[Theme]
Background="#FFFFFF"
Normal="#000000"
Highlight="#AAEEFF"
Selection="#E0A9A9"
Keyword="#FF3F3F,Bold"
Datatype="#FF3F3F"
Operator="#C00000,Bold"
Function="#C00000"
Symbol="#000000"
Number="#00C000"
String="#808000"
Comment="#FF8000,Italic"
Breakpoint="#FF5F5F"
Current="#FFBFBF"
CurrentLine="#FFE7E7"
Error="#008000,Underline"
Help="#FF8000,Bold,Italic"
Preprocessor="#0000FF,Bold"
Escape="String,Bold,Dotted"
Label="Normal,Dotted"
Constant="Number"
Alternate="#E0E0E0"
