color conversion issues

[pkra]

Just to track this here as well. It seems texml sometimes converts colors incorrectly.

E.g., we had TeX sources with

\color{RoyalBlue}
\color{RedViolet}
\color{Plum}
\color{Gray}

where texml output had

\color[RGB]{0, 127, 255}
\color[RGB]{150, 0, 168} 
\color[RGB]{127, 0, 255} 
\color[RGB]{127, 127, 127}

This was particularly noticeable in that instance because generated SVGs (from tikz using these) no longer matched.

The problem has showed up in several publications now.

[pkra]

Another example (I had not linked properly): \color{olive} became #7f7f00 as text color but #8d8600 in a tikz SVG.

This was changed in the source to #807900, as a result the SVG appears to have that color but the text has #7f7900.