Add highlight.sty