#mint .plain-text { font-family: SFMono, Menlo, Courier, Monaco; color: #4db78b; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .strings { font-family: SFMono, Menlo, Courier, Monaco; color: #bac1a2; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .urls { font-family: SFMono, Menlo, Courier, Monaco; color: #bcdb9e; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .preprocessor-statements { font-family: SFMono, Menlo, Courier, Monaco; color: #6affc3; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .attributes { font-family: SFMono, Menlo, Courier, Monaco; color: #4db88c; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .characters { font-family: SFMono, Menlo, Courier, Monaco; color: #bcdb9e; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .comments { font-family: SFMono, Menlo, Courier, Monaco; color: #bac1a2; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .numbers { font-family: SFMono, Menlo, Courier, Monaco; color: #bcdb9e; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .keywords { font-family: SFMono, Menlo, Courier, Monaco; color: #6affc3; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .documentation-markup { font-family: SFMono, Menlo, Courier, Monaco; color: #bac1a2; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .documentation-markup-keywords { font-family: SFMono, Menlo, Courier, Monaco; color: #bac1a2; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .project-class-names { font-family: SFMono, Menlo, Courier, Monaco; color: #dfe4f8; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .project-constants { font-family: SFMono, Menlo, Courier, Monaco; color: #b9593b; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .project-type-names { font-family: SFMono, Menlo, Courier, Monaco; color: #dfe4f8; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .project-preprocessor-macros { font-family: SFMono, Menlo, Courier, Monaco; color: #4db88c; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .project-instance-variables-and-global { font-family: SFMono, Menlo, Courier, Monaco; color: #dfe4f8; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .project-function-and-method-names { font-family: SFMono, Menlo, Courier, Monaco; color: #b9593b; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .other-class-names { font-family: SFMono, Menlo, Courier, Monaco; color: #b6baca; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .other-constants { font-family: SFMono, Menlo, Courier, Monaco; color: #ab5236; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .other-type-names { font-family: SFMono, Menlo, Courier, Monaco; color: #b6baca; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .other-function-and-method { font-family: SFMono, Menlo, Courier, Monaco; color: #ab5236; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .other-preprocessor-macros { font-family: SFMono, Menlo, Courier, Monaco; color: #4db88c; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .other-instance-variables-and-global { font-family: SFMono, Menlo, Courier, Monaco; color: #b6baca; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .source-editor-currentLine { color: #465363; font-size: 11px; }
#mint .source-editor-cursor { color: #c0c7be; font-size: 11px; }
#mint .source-editor-invisibles { color: #7f7f7f; font-size: 11px; }
#mint .source-editor-selection { color: #9ecaff; font-size: 11px; }
#mint .source-editor-background { background-color: #0b2b1b; font-size: 11px; }
#mint .console-prompt { font-family: SFMono, Menlo, Courier, Monaco; color: #506fff; font-size: 11px; font-style: normal; font-weight: bold; }
#mint .console-input { font-family: SFMono, Menlo, Courier, Monaco; color: #000000; font-size: 11px; font-style: normal; font-weight: bold; }
#mint .console-output { font-family: SFMono, Menlo, Courier, Monaco; color: #000000; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .console-executable-input { font-family: SFMono, Menlo, Courier, Monaco; color: #000000; font-size: 11px; font-style: normal; font-weight: 400; }
#mint .console-executable-output { font-family: SFMono, Menlo, Courier, Monaco; color: #000000; font-size: 11px; font-style: normal; font-weight: bold; }
#mint .console-background { color: #fefffe; font-size: 11px; }
#mint .console-selection { color: #a0cbff; font-size: 11px; }
#mint .console-cursor { color: #000000; font-size: 11px; }
#mint .debugger-instruction-pointer { color: #b3cc8a; font-size: 11px; }