Character color and markup

Date:Sun Nov 28 16:19:31 2021
(As of the next reboot.)

You can now use change colour character <something> to add color to character names.

There is also a <character> XML tag; see help xml.

The enemy color is added to the character color, so if your character color is bold, and enemy is red, an enemy will be colored bold red.

Those settings are, incidentally, now the default for newly created players. However, as this can be somewhat jarring, the default for old characters is that the character color is disabled (none).

It is not unlikely this caused several bugs in how characters show up. Please report them as you find them :)

Thanks Fearmor for the idea.