> A List Apart explains how to implement this with cookies, but we would > rather not use JavaScript: And yes, I'm against JavaScript, too. This doesn't count as a real client-side solution from my point of view.
Simplest solution, server-sided, efficient and secure, but clearly not nice: Keep a version of the docs for each style in a different subdirectory, and switch accordingly. ;-) Goodnight, Alexander _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user