Improving the display of highlights.  Getting rid of white space between highlighted tokens.
Improving white-space in CSS.