Pygments rather than highlight.js for syntax highlighting

Feature
5

Indeed, another theme could provide nicer colors but the problem remains: the highlight.js lexer is minimalist.