css for syntax highlighting