I tried to edit the "Highlight" class so that the background-color was green. I did this by editing the class definition in example.css but the text was still highlighted in yellow. What am I doing wrong ?
I could edit common.config and change the appearance of the Highlight dropdown - that was OK.