Colored text links

Colored text links. If ticked, text links are colored in accordance with the following web browser-style link type category settings:

• Text link color. Color for unvisited text links.
• Visited link color. Color for already visited text links.
• Active link color. Color for the active text link. It is not documented how Tinderbox determines this state - focus lies inside link anchor text?

Note that changes to these settings are not recursive — existing links will retain their existing colors if colors are subsequently changed here.