make it possible to replace the current CSS file by a preset stylesheet
[diogenes.git] / styles /
2006-07-20 Jeremy Laine* refactor global options handling in toplevel/options