Remove custom highlighting due to problems with CodeRay