Some more fixes for CSS and syntax highlighting