Syntax highlighting fixes

CSS file generated by pygment is now used to highlight code.