There are two themes you can select for this web site, plus you can select to
use this web site with the default style provided by the browser.
When a theme has been selected, that theme will be used for all other pages
of this web site and will also be used in subsequent visits from the same
client without using cookies.
See Theme Setter for a description of how this is done.