Pygments statt highlight.js für Syntaxhervorhebung

[dbitouze (Denis Bitouzé)]

Tatsächlich könnte ein anderes Thema schönere Farben bieten, aber das Problem bleibt: Der highlight.js-Lexer ist minimalistisch.