Also, unbreak documentation builds with style.css, and use @dbuenzli's style, which is quite nicer than the existing one.
Ignore-this: 302c250e7a33c66627639431458327ca darcs-hash:20110804125457-c41ad-e0b40e6ae013eef6022b85bfdf0f1d8e9a585cdf