[Theme]
Background="#FFFFFF"
Normal="#000000"
Keyword="#BF00FF,Bold"
Function="#FF00FF"
Operator="#FF00FF,Bold"
Symbol="#000000"
Number="#808000"
String="#FF8000"
Comment="#BF7FFF,Italic"
Breakpoint="#FF5F5F"
Current="#EFBFFF"
Datatype="#BF00FF"
Selection="#E0AAE0"
Highlight="#9FFF9F"
CurrentLine="#F9E7FF"
Error="#008000,Underline"
Help="#BF7FFF,Bold,Italic"
Preprocessor="#0000FF,Bold"
Escape="String,Bold,Dotted"
Label="Normal,Dotted"
Constant="Number"
Alternate="#E0E0E0"
