[Theme]
Background="#003F77"
Normal="#BFBFBF"
Highlight="#BF5C00"
Selection="#1F5F97"
Keyword="#BFBFBF"
Datatype="#9FFF9F"
Operator="#E0E000,Bold"
Function="#BFBFFF"
Symbol="#FFFFFF"
Number="#FF9F9F"
String="#C0C0FF"
Comment="#5FBF5F"
Breakpoint="#BF4749"
Current="#5F5FBF"
CurrentLine="#00376F"
Error="#808000"
Help="#5FBF5F,Bold"
Preprocessor="#FF0000,Bold"
Escape="String,Bold,Dotted"
Label="Normal,Dotted"
Constant="Number"
Alternate="#E0E0E0"

