{'OPEN_NUMBER': '<span style="color: #0080C0;">', 'CLOSE_NUMBER': '</s
pan>', 'OPEN_OP': '<span style="color: #0000C0;">', 'CLOSE_OP': '</spa
n>', 'OPEN_STRING': '<span style="color: #004080;">', 'CLOSE_STRING':
'</span>', 'OPEN_COMMENT': '<span style="color: #008000;">', 'CLOSE_CO
MMENT': '</span>', 'OPEN_NAME': '<span style="color: #000000;">', 'CLO
SE_NAME': '</span>', 'OPEN_ERRORTOKEN': '<span style="color: #FF8080;"
>', 'CLOSE_ERRORTOKEN': '</span>', 'OPEN_KEYWORD': '<span style="color
: #C00000;">', 'CLOSE_KEYWORD': '</span>', 'OPEN_TEXT': '', 'CLOSE_TEX
...
|