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…