tweaking css highlighting