Delete highlight.css~