Do you know which highlights we are talking about here? If I highlight something in my browser does it show up as orange?