On 2004-03-29 08:23:12 -0600, Kent West wrote: > So you've got to manually swap out the file to change stylesheets? > A bit inconvenient, but oh well. Do you know if you have to restart > Firefox to get the new stylesheet to take effect?
I think so (at least, this is the case with Mozilla). Very annoying. :( -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100% validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Mathématiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
