Henning Thielemann wrote:
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.
Yes, the body of the document contains an additional style menu, so on
well-behaving browsers, there are two style menus. See screenshot at
http://www.informatik.uni-marburg.de/~rendel/style-menu.png
Tillmann
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
