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