editor.token.comment1.style=#00ff00,plain
editor.token.comment2.style=#00ff00,plain
editor.token.function1.style=#FF8000,plain
editor.token.function2.style=#FF0080,plain
editor.token.function3.style=#88AA00,plain
editor.token.function4.style=#ffff00,bold
editor.token.invalid.style=#FF0000,bold
editor.token.keyword1.style=#0000FF,plain
editor.token.keyword2.style=#FF2222,plain
editor.token.keyword3.style=#FF2222,plain
editor.token.keyword4.style=#88AA00,plain
editor.token.keyword5.style=#FF2222,plain
editor.token.keyword6.style=#8F22FF,plain
editor.token.label.style=#0000ff,bold
editor.token.literal1.style=#0090B1,plain
editor.token.literal2.style=#0090B0,plain
editor.token.operator.style=#000003,bold