correct css highlighting