Highlighting for http://bnfc.digitalgrammars.com