/ def / richtext
rich text
A rich text is a string using a subset of the HTML format.

The following HMTL markups are allowed:

`<p> <br> <a> <font>
<b> <i> <s> <sub> <sup> <small> <tt> <u>
<h1> <h2> <h3> <h4> <h5> <h6>`.

The `<font>` markup understands the following attributes: `face`, `color`, and `size`.

The `size` attribute can be:

- A value between `1` and `7` for an absolute font size.
- `-1` for a smaller font size.
- `+1` for a larger font size.

Any HTML entity can be used.

Rich text is mainly used by TextLabel, GridView cells, and the Draw.RichText method.