An example of highlight colors customized using CSS variables:
the
green one
the
yellow one
the
red one