Would like to simplify the CSS in the web site

[Martin Desruisseaux]

Hello again

The CSS files for the web site are huge (about 5000 lines). They seem to 
be a copy-and-paste from Twitter web site. Can I trim them down to only 
the styles that we are using right now? The reason is that we probably 
use a tiny fraction of those CSS, and smaller files would be easier to 
maintain.

    Martin