The Lively Kernel can support different user interface themes.
Themes are collections of style settings that are applied automatically
to all the applicable graphical objects in the system.
You can change the user interface theme by choosing the "choose display theme..."
operation from the popup menu of the world.
Notes:
Alt-click the background of the display to invoke the popup menu of the world.
Try it yourself! Try changing the display theme by invoking the popup
menu of the world and selecting the "choose display theme..." operation.
While trying out the different themes, also try the various controls (buttons,
fields, sliders, etc.) included in the pane below.
