Pygments em vez de highlight.js para destaque de sintaxe

[dbitouze (Denis Bitouzé)]

De fato, outro tema poderia fornecer cores mais agradáveis, mas o problema permanece: o lexer do highlight.js é minimalista.