css minification

[Andrei Alexandrescu via Digitalmars-d]

I just added 
https://github.com/D-Programming-Language/dlang.org/pull/770, which 
generates minified css files. This is because in the near future css 
files will become heftier (more documentation comments, more detailed 
styles etc).

The disadvantage is that now one needs to be online to generate 
documentation. Thoughts?


Andrei