Update highlight.css

github css