* refactor global options handling in toplevel/options
authorJeremy Laine <jeremy.laine@m4x.org>
Thu, 20 Jul 2006 22:27:36 +0000 (22:27 +0000)
committerJeremy Laine <jeremy.laine@m4x.org>
Thu, 20 Jul 2006 22:27:36 +0000 (22:27 +0000)
* add global option to set the default stylesheet for new barrels
* add style.css from doc.polytechnique.org


No differences found