Feature request: easy text coloring?

[Jean-Luc-Picard-2021]

Hi,

What would be also swell, if we could have easy
text coloring. How can I do the following:

prove(F) :-
   prove(F,P), !,
   tag('<span style="color: red">'), show(P, 0'x), tag('</span>'),
   write(':'),
   tag('<span style="color: blue">'), write(F), tag('</span>'), nl.

Here is an example output, I have to provide a screenshot,
to show colors:

Does the server provide some sort of
tag/1 predicate to control the output by injecting the span HTML
element, which we can then use to submit a

CSS-style attribute from the SWISH server to the SWISH client?

Bye

[JanWielemaker]

See https://swish.swi-prolog.org/example/html_output.swinb for dealing with HTML in SWISH.