css for debug highlighter
scripted update of code from master at 556e9da css for debug highlighter