Synchronise highlighting style
The highlighting in the library browser looks different from those provided by clean.js. When the language report is provided at
/doc (see #130 (closed)), there will be yet another highlighting style. It would be good if all those, but at least the two current ones, were synchronised. Personally, I like the clean.js style better.
This is not entirely possible as clean.js recognises different syntax elements than pygments, but at least to have the same colour scheme would be good. And perhaps, when clean.js is improved (clean-cloogle/clean.js#1) it becomes possible to highlight entire files with clean.js and drop pygments altogether.