On Sat, 30 Oct 2010, Tillmann Rendel wrote:
Both stylesheets are linked to from the text of the HTML files:
<link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" />
<link href="xhaddock.css" rel="alternate stylesheet" type="text/css" title="Classic" />
Firefox uses this information to populate a menu (View | Stylesheet) with the following choices:
- no style - Ocean - Classic
No need for JavaScript or cookies.
This would be optimal for me, if it would work this way. From the answers I understood that "the style menu" is something that is part of the document body, not something of the browser navigation toolset. It seems that Konqueror does not let me choose between different styles. However it has a menu item for checking the CSS. :-) It forwards me to http://jigsaw.w3.org/css-validator/validator?uri=http%3A//hackage.haskell.or... and shows 7 errors.