On Saturday 30 October 2010 15:09:39, Henning Thielemann wrote:
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.
Mine does, with JavaScript globally disabled or enabled: Ansicht -> Stilvorlage verwenden * Autom. feststellen * Basisstil * Ocean * Classic
However it has a menu item for checking the CSS. :-)
I can't find that in mine, however.
It forwards me to http://jigsaw.w3.org/css-validator/validator?uri=http%3A//hackage.haskel l.org/package/base and shows 7 errors.