.red { color: #AA0000; }
.green { color: #00AA00; }
.magenta { color: #E850A8; }
.cyan { color: #00AAAA; }
.mono { font-family: monospace; }
.ital { font-style: italic; }