CSS highlighting in HTML style attribute