Changed stylesheet to reflect new highlight marker decoration.