css fixes for Highlight