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