Styles
Style Switcher
The style switcher allows you to change the look of the site. If your browser supports both stylesheets and client-side scripting, then there should be a dropdown near the top of the page labeled "Style". Select the name of a style from this dropdown, and the page's style will change to the selected style.
In web pages more specifically HTML documents, there is some capacity to separate the semantics of a page from its appearance. As a corollary, it is possible to declare multiple possible appearances for a html document: one as the default and others as alternates.
Note that alternate stylesheets are completely orthogonal to "responsive" designs.
Recently, browsers have trended towards ignoring this possibility Chrome has never supported alternate stylesheets, Edge doesn't have an interface to select one, and Firefox has hidden its toolbar by default and not provided another interface and even in browsers that do allow this, selecting an alternate stylesheet will not be persistent - either on other pages on the same site or even a revisit to the same page. Hence, the need for a script to make the existence of alternate sylesheets obvious and persistent.
This implementation of a style switcher is purely client side; the 'cookie' that stores your choice never leaves your browser.
List of Styles
- Basic
-
A no-frills white-on-black or black-on-white style (depending on your prefers-dark setting)
- Brick
-
A vanity style that tries to look like posters taped onto a brick wall