We understand that the highlighting color of text enclosed in the rev attribute can be changed so that a color other than gray is used, but that only one color can be used regardless of the rev attribute value. Our end users would like to have the highlighting color change based on the different values assigned to the rev attribute.