[Theme]
Background="#FFFFFF"
Normal="#000000"
Highlight="#FFCF9F"
Selection="#B0F0D0"
Keyword="#00C0A0,Bold"
Datatype="#00806B"
Operator="#00C000,Bold"
Function="#00C000"
Symbol="#000000"
Number="#FF00FF"
String="#00007F"
Comment="#805500,Italic"
Breakpoint="#FF5F5F"
Current="#BFFFBF"
CurrentLine="#E7FFE7"
Error="#800080,Underline"
Help="#805500,Bold,Italic"
Preprocessor="#FF8000,Bold"
Escape="String,Bold,Dotted"
Label="Normal,Dotted"
Constant="Number"
Alternate="#E0E0E0"
