Tweak idris syntax highlighting.