On Tue, 9 Sep 2003, Francois Gouget wrote:
documentation/Makefile.in, documentation/default.dsl, documentation/winedoc.css
Don't hardcode the look and feel in default.css. Use a css file
instead.
For that, we should just completely remove documentation/default.dsl and use the site-wide one.