css for debug highlighter
scripted update of code from master at e7ba106 css for debug highlighter