Remove more unnecessary stuff from CSS file.
Use pygments for JS highlighting.