are, however always green,
are always red,
but the colour of Links is controlled by the HTML.
Draw text areas use "\" and "/" to specify commands like \U0 25/
But when those characters appear in HTML documents, they should be treated as ordinary characters and not as formatting commands.