Bizarre that a style sheet mechanism can't do do something that is it's primary function.
I’m guessing that due to the way highlights can cross element boundaries, it would be difficult to support any styles that could change the layout.
That seems like it could also mess with mouse selections if the text moved when selected. maybe even causing endless jitter.
I kinda wonder if "page scrolled 'cause X was selected" type data extraction attacks might play a slight role too. Although I suppose if you've managed to inject CSS all bets are off..
yeah, although text-stroke and text-shadow probably work even better with fixed width code since it avoids changing line lengths.