/* Thememirror themes adapted for CodeMirror 5 (stex mode) */
/* Source: https://github.com/vadimdemedes/thememirror */

/* ============ LIGHT THEMES ============ */

/* --- Smoothy --- */
.cm-s-smoothy.CodeMirror { background: #FFFFFF; color: #000000; }
.cm-s-smoothy .CodeMirror-gutters { background: #FFFFFF; border-right: 1px solid #eee; color: #00000070; }
.cm-s-smoothy .CodeMirror-cursor { border-left: 2px solid #000000; }
.cm-s-smoothy .CodeMirror-selected { background: #FFFD0054; }
.cm-s-smoothy .CodeMirror-activeline-background { background: #00000008; }
.cm-s-smoothy .cm-comment { color: #CFCFCF; }
.cm-s-smoothy .cm-keyword { color: #D8B229; }
.cm-s-smoothy .cm-atom { color: #E66C29; }
.cm-s-smoothy .cm-number { color: #E66C29; }
.cm-s-smoothy .cm-string { color: #704D3D; }
.cm-s-smoothy .cm-variable { color: #77ACB0; }
.cm-s-smoothy .cm-variable-2 { color: #77ACB0; }
.cm-s-smoothy .cm-variable-3, .cm-s-smoothy .cm-type { color: #2F8996; }
.cm-s-smoothy .cm-def { color: #2EB43B; }
.cm-s-smoothy .cm-tag { color: #BAA827; }
.cm-s-smoothy .cm-bracket { color: #BAA827; }
.cm-s-smoothy .cm-attribute { color: #B06520; }
.cm-s-smoothy .cm-operator { color: #4EA44E; }
.cm-s-smoothy .cm-meta { color: #925A47; }
.cm-s-smoothy .cm-builtin { color: #2EB43B; }
.cm-s-smoothy .cm-qualifier { color: #E3965E; }

/* --- Ayu Light --- */
.cm-s-ayu-light.CodeMirror { background: #fcfcfc; color: #5c6166; }
.cm-s-ayu-light .CodeMirror-gutters { background: #fcfcfc; border-right: 1px solid #eee; color: #8a919966; }
.cm-s-ayu-light .CodeMirror-cursor { border-left: 2px solid #ffaa33; }
.cm-s-ayu-light .CodeMirror-selected { background: #036dd626; }
.cm-s-ayu-light .CodeMirror-activeline-background { background: #8a91991a; }
.cm-s-ayu-light .cm-comment { color: #787b8099; }
.cm-s-ayu-light .cm-keyword { color: #fa8d3e; }
.cm-s-ayu-light .cm-atom { color: #ffaa33; }
.cm-s-ayu-light .cm-number { color: #ffaa33; }
.cm-s-ayu-light .cm-string { color: #86b300; }
.cm-s-ayu-light .cm-variable { color: #5c6166; }
.cm-s-ayu-light .cm-variable-2 { color: #f2ae49; }
.cm-s-ayu-light .cm-variable-3, .cm-s-ayu-light .cm-type { color: #22a4e6; }
.cm-s-ayu-light .cm-def { color: #f2ae49; }
.cm-s-ayu-light .cm-tag { color: #55b4d4; }
.cm-s-ayu-light .cm-bracket { color: #55b4d480; }
.cm-s-ayu-light .cm-attribute { color: #f2ae49; }
.cm-s-ayu-light .cm-operator { color: #ed9366; }
.cm-s-ayu-light .cm-meta { color: #fa8d3e; }
.cm-s-ayu-light .cm-builtin { color: #55b4d4; }
.cm-s-ayu-light .cm-qualifier { color: #4cbf99; }

/* --- Clouds --- */
.cm-s-clouds.CodeMirror { background: #fff; color: #000; }
.cm-s-clouds .CodeMirror-gutters { background: #fff; border-right: 1px solid #eee; color: #00000070; }
.cm-s-clouds .CodeMirror-cursor { border-left: 2px solid #000; }
.cm-s-clouds .CodeMirror-selected { background: #BDD5FC; }
.cm-s-clouds .CodeMirror-activeline-background { background: #FFFBD1; }
.cm-s-clouds .cm-comment { color: #BCC8BA; }
.cm-s-clouds .cm-keyword { color: #AF956F; }
.cm-s-clouds .cm-atom { color: #46A609; }
.cm-s-clouds .cm-number { color: #46A609; }
.cm-s-clouds .cm-string { color: #5D90CD; }
.cm-s-clouds .cm-variable { color: #000; }
.cm-s-clouds .cm-variable-2 { color: #606060; }
.cm-s-clouds .cm-variable-3, .cm-s-clouds .cm-type { color: #C52727; }
.cm-s-clouds .cm-def { color: #C52727; }
.cm-s-clouds .cm-tag { color: #606060; }
.cm-s-clouds .cm-bracket { color: #606060; }
.cm-s-clouds .cm-attribute { color: #606060; }
.cm-s-clouds .cm-operator { color: #AF956F; }
.cm-s-clouds .cm-meta { color: #C52727; }
.cm-s-clouds .cm-builtin { color: #5D90CD; }
.cm-s-clouds .cm-qualifier { color: #5D90CD; }

/* --- Espresso --- */
.cm-s-espresso.CodeMirror { background: #FFFFFF; color: #000000; }
.cm-s-espresso .CodeMirror-gutters { background: #FFFFFF; border-right: 1px solid #eee; color: #00000070; }
.cm-s-espresso .CodeMirror-cursor { border-left: 2px solid #000000; }
.cm-s-espresso .CodeMirror-selected { background: #80C7FF; }
.cm-s-espresso .CodeMirror-activeline-background { background: #C1E2F8; }
.cm-s-espresso .cm-comment { color: #AAAAAA; }
.cm-s-espresso .cm-keyword { color: #2F6F9F; font-weight: bold; }
.cm-s-espresso .cm-atom { color: #CF4F5F; }
.cm-s-espresso .cm-number { color: #CF4F5F; font-weight: bold; }
.cm-s-espresso .cm-string { color: #CF4F5F; }
.cm-s-espresso .cm-variable { color: #000000; font-weight: bold; }
.cm-s-espresso .cm-variable-2 { color: #2F6F9F; }
.cm-s-espresso .cm-variable-3, .cm-s-espresso .cm-type { color: #2F6F9F; }
.cm-s-espresso .cm-def { color: #4F9D0F; }
.cm-s-espresso .cm-tag { color: #2F6F9F; font-weight: bold; }
.cm-s-espresso .cm-bracket { color: #000000; }
.cm-s-espresso .cm-attribute { color: #4F9D0F; }
.cm-s-espresso .cm-operator { color: #2F6F9F; font-weight: bold; }
.cm-s-espresso .cm-meta { color: #2F6F9F; }
.cm-s-espresso .cm-builtin { color: #2F6F9F; }
.cm-s-espresso .cm-qualifier { color: #CF4F5F; }

/* --- Noctis Lilac --- */
.cm-s-noctis-lilac.CodeMirror { background: #f2f1f8; color: #0c006b; }
.cm-s-noctis-lilac .CodeMirror-gutters { background: #f2f1f8; border-right: 1px solid #ddd; color: #0c006b70; }
.cm-s-noctis-lilac .CodeMirror-cursor { border-left: 2px solid #5c49e9; }
.cm-s-noctis-lilac .CodeMirror-selected { background: #d5d1f2; }
.cm-s-noctis-lilac .CodeMirror-activeline-background { background: #e1def3; }
.cm-s-noctis-lilac .cm-comment { color: #9995b7; }
.cm-s-noctis-lilac .cm-keyword { color: #ff5792; }
.cm-s-noctis-lilac .cm-atom { color: #5842ff; }
.cm-s-noctis-lilac .cm-number { color: #5842ff; }
.cm-s-noctis-lilac .cm-string { color: #00b368; }
.cm-s-noctis-lilac .cm-variable { color: #fa8900; }
.cm-s-noctis-lilac .cm-variable-2 { color: #0095a8; }
.cm-s-noctis-lilac .cm-variable-3, .cm-s-noctis-lilac .cm-type { color: #b3694d; }
.cm-s-noctis-lilac .cm-def { color: #0095a8; }
.cm-s-noctis-lilac .cm-tag { color: #0094f0; }
.cm-s-noctis-lilac .cm-bracket { color: #0431fa; }
.cm-s-noctis-lilac .cm-attribute { color: #e64100; }
.cm-s-noctis-lilac .cm-operator { color: #ff5792; }
.cm-s-noctis-lilac .cm-meta { color: #ff5792; }
.cm-s-noctis-lilac .cm-builtin { color: #0094f0; }
.cm-s-noctis-lilac .cm-qualifier { color: #00bdd6; }

/* --- Rosé Pine Dawn --- */
.cm-s-rose-pine-dawn.CodeMirror { background: #faf4ed; color: #575279; }
.cm-s-rose-pine-dawn .CodeMirror-gutters { background: #faf4ed; border-right: 1px solid #e0d8ce; color: #57527970; }
.cm-s-rose-pine-dawn .CodeMirror-cursor { border-left: 2px solid #575279; }
.cm-s-rose-pine-dawn .CodeMirror-selected { background: #6e6a8614; }
.cm-s-rose-pine-dawn .CodeMirror-activeline-background { background: #6e6a860d; }
.cm-s-rose-pine-dawn .cm-comment { color: #9893a5; }
.cm-s-rose-pine-dawn .cm-keyword { color: #286983; }
.cm-s-rose-pine-dawn .cm-atom { color: #286983; }
.cm-s-rose-pine-dawn .cm-number { color: #d7827e; }
.cm-s-rose-pine-dawn .cm-string { color: #ea9d34; }
.cm-s-rose-pine-dawn .cm-variable { color: #d7827e; }
.cm-s-rose-pine-dawn .cm-variable-2 { color: #907aa9; }
.cm-s-rose-pine-dawn .cm-variable-3, .cm-s-rose-pine-dawn .cm-type { color: #56949f; }
.cm-s-rose-pine-dawn .cm-def { color: #d7827e; }
.cm-s-rose-pine-dawn .cm-tag { color: #56949f; }
.cm-s-rose-pine-dawn .cm-bracket { color: #797593; }
.cm-s-rose-pine-dawn .cm-attribute { color: #907aa9; }
.cm-s-rose-pine-dawn .cm-operator { color: #286983; }
.cm-s-rose-pine-dawn .cm-meta { color: #286983; }
.cm-s-rose-pine-dawn .cm-builtin { color: #56949f; }
.cm-s-rose-pine-dawn .cm-qualifier { color: #ea9d34; }

/* --- Solarized Light --- */
.cm-s-solarized-light.CodeMirror { background: #fef7e5; color: #586E75; }
.cm-s-solarized-light .CodeMirror-gutters { background: #fef7e5; border-right: 1px solid #EEE8D5; color: #586E7580; }
.cm-s-solarized-light .CodeMirror-cursor { border-left: 2px solid #000000; }
.cm-s-solarized-light .CodeMirror-selected { background: #073642; }
.cm-s-solarized-light .CodeMirror-selected + .CodeMirror-selected { background: #073642; }
.cm-s-solarized-light .CodeMirror-activeline-background { background: #EEE8D5; }
.cm-s-solarized-light .cm-comment { color: #93A1A1; }
.cm-s-solarized-light .cm-keyword { color: #859900; }
.cm-s-solarized-light .cm-atom { color: #B58900; }
.cm-s-solarized-light .cm-number { color: #D33682; }
.cm-s-solarized-light .cm-string { color: #2AA198; }
.cm-s-solarized-light .cm-variable { color: #268BD2; }
.cm-s-solarized-light .cm-variable-2 { color: #268BD2; }
.cm-s-solarized-light .cm-variable-3, .cm-s-solarized-light .cm-type { color: #859900; }
.cm-s-solarized-light .cm-def { color: #073642; }
.cm-s-solarized-light .cm-tag { color: #268BD2; }
.cm-s-solarized-light .cm-bracket { color: #93A1A1; }
.cm-s-solarized-light .cm-attribute { color: #93A1A1; }
.cm-s-solarized-light .cm-operator { color: #859900; }
.cm-s-solarized-light .cm-meta { color: #073642; }
.cm-s-solarized-light .cm-builtin { color: #268BD2; }
.cm-s-solarized-light .cm-qualifier { color: #D30102; }

/* --- Tomorrow --- */
.cm-s-tomorrow.CodeMirror { background: #FFFFFF; color: #4D4D4C; }
.cm-s-tomorrow .CodeMirror-gutters { background: #FFFFFF; border-right: 1px solid #eee; color: #4D4D4C80; }
.cm-s-tomorrow .CodeMirror-cursor { border-left: 2px solid #AEAFAD; }
.cm-s-tomorrow .CodeMirror-selected { background: #D6D6D6; }
.cm-s-tomorrow .CodeMirror-activeline-background { background: #EFEFEF; }
.cm-s-tomorrow .cm-comment { color: #8E908C; }
.cm-s-tomorrow .cm-keyword { color: #8959A8; }
.cm-s-tomorrow .cm-atom { color: #F5871F; }
.cm-s-tomorrow .cm-number { color: #F5871F; }
.cm-s-tomorrow .cm-string { color: #718C00; }
.cm-s-tomorrow .cm-variable { color: #C82829; }
.cm-s-tomorrow .cm-variable-2 { color: #C82829; }
.cm-s-tomorrow .cm-variable-3, .cm-s-tomorrow .cm-type { color: #C99E00; }
.cm-s-tomorrow .cm-def { color: #4271AE; }
.cm-s-tomorrow .cm-tag { color: #C82829; }
.cm-s-tomorrow .cm-bracket { color: #4D4D4C; }
.cm-s-tomorrow .cm-attribute { color: #C82829; }
.cm-s-tomorrow .cm-operator { color: #3E999F; }
.cm-s-tomorrow .cm-meta { color: #8959A8; }
.cm-s-tomorrow .cm-builtin { color: #4271AE; }
.cm-s-tomorrow .cm-qualifier { color: #C82829; }

/* ============ DARK THEMES ============ */

/* --- Cobalt --- */
.cm-s-cobalt.CodeMirror { background: #00254b; color: #FFFFFF; }
.cm-s-cobalt .CodeMirror-gutters { background: #00254b; border-right: 1px solid #0a3a6b; color: #FFFFFF70; }
.cm-s-cobalt .CodeMirror-cursor { border-left: 2px solid #FFFFFF; }
.cm-s-cobalt .CodeMirror-selected { background: #B36539BF; }
.cm-s-cobalt .CodeMirror-activeline-background { background: #00000059; }
.cm-s-cobalt .cm-comment { color: #0088FF; }
.cm-s-cobalt .cm-keyword { color: #FF9D00; }
.cm-s-cobalt .cm-atom { color: #FF628C; }
.cm-s-cobalt .cm-number { color: #FF628C; }
.cm-s-cobalt .cm-string { color: #3AD900; }
.cm-s-cobalt .cm-variable { color: #CCCCCC; }
.cm-s-cobalt .cm-variable-2 { color: #80FFBB; }
.cm-s-cobalt .cm-variable-3, .cm-s-cobalt .cm-type { color: #80FFBB; }
.cm-s-cobalt .cm-def { color: #FFDD00; }
.cm-s-cobalt .cm-tag { color: #FFDD00; }
.cm-s-cobalt .cm-bracket { color: #EDEF7D; }
.cm-s-cobalt .cm-attribute { color: #9EFFFF; }
.cm-s-cobalt .cm-operator { color: #FF9D00; }
.cm-s-cobalt .cm-meta { color: #FFEE80; }
.cm-s-cobalt .cm-builtin { color: #FFDD00; }
.cm-s-cobalt .cm-qualifier { color: #80FFC2; }

/* --- Amy --- */
.cm-s-amy.CodeMirror { background: #200020; color: #D0D0FF; }
.cm-s-amy .CodeMirror-gutters { background: #200020; border-right: 1px solid #3a003a; color: #C080C0; }
.cm-s-amy .CodeMirror-cursor { border-left: 2px solid #7070FF; }
.cm-s-amy .CodeMirror-selected { background: #80000080; }
.cm-s-amy .CodeMirror-activeline-background { background: #80000040; }
.cm-s-amy .cm-comment { color: #404080; }
.cm-s-amy .cm-keyword { color: #60B0FF; }
.cm-s-amy .cm-atom { color: #8080A0; }
.cm-s-amy .cm-number { color: #7090B0; }
.cm-s-amy .cm-string { color: #999999; }
.cm-s-amy .cm-variable { color: #008080; }
.cm-s-amy .cm-variable-2 { color: #50A0A0; }
.cm-s-amy .cm-variable-3, .cm-s-amy .cm-type { color: #70E080; }
.cm-s-amy .cm-def { color: #B0FFF0; }
.cm-s-amy .cm-tag { color: #009090; }
.cm-s-amy .cm-bracket { color: #D0D0FF; }
.cm-s-amy .cm-attribute { color: #D0D0FF; }
.cm-s-amy .cm-operator { color: #A0A0FF; }
.cm-s-amy .cm-meta { color: #B0FFF0; }
.cm-s-amy .cm-builtin { color: #70E080; }
.cm-s-amy .cm-qualifier { color: #999999; }

/* --- Barf --- */
.cm-s-barf.CodeMirror { background: #15191E; color: #EEF2F7; }
.cm-s-barf .CodeMirror-gutters { background: #15191E; border-right: 1px solid #252a30; color: #aaaaaa95; }
.cm-s-barf .CodeMirror-cursor { border-left: 2px solid #C4C4C4; }
.cm-s-barf .CodeMirror-selected { background: #90B2D557; }
.cm-s-barf .CodeMirror-activeline-background { background: #57575712; }
.cm-s-barf .cm-comment { color: #6E6E6E; }
.cm-s-barf .cm-keyword { color: #697A8E; }
.cm-s-barf .cm-atom { color: #53667D; }
.cm-s-barf .cm-number { color: #C1E1B8; }
.cm-s-barf .cm-string { color: #5C81B3; }
.cm-s-barf .cm-variable { color: #708E67; }
.cm-s-barf .cm-variable-2 { color: #708E67; }
.cm-s-barf .cm-variable-3, .cm-s-barf .cm-type { color: #A3D295; }
.cm-s-barf .cm-def { color: #A3D295; }
.cm-s-barf .cm-tag { color: #A3D295; }
.cm-s-barf .cm-bracket { color: #EEF2F7; }
.cm-s-barf .cm-attribute { color: #708E67; }
.cm-s-barf .cm-operator { color: #697A8E; }
.cm-s-barf .cm-meta { color: #A3D295; }
.cm-s-barf .cm-builtin { color: #fff; }
.cm-s-barf .cm-qualifier { color: #5C81B3; }

/* --- Bespin --- */
.cm-s-bespin.CodeMirror { background: #2e241d; color: #BAAE9E; }
.cm-s-bespin .CodeMirror-gutters { background: #28211C; border-right: 1px solid #3d3229; color: #BAAE9E90; }
.cm-s-bespin .CodeMirror-cursor { border-left: 2px solid #A7A7A7; }
.cm-s-bespin .CodeMirror-selected { background: #DDF0FF33; }
.cm-s-bespin .CodeMirror-activeline-background { background: #FFFFFF08; }
.cm-s-bespin .cm-comment { color: #666666; }
.cm-s-bespin .cm-keyword { color: #5EA6EA; }
.cm-s-bespin .cm-atom { color: #CF6A4C; }
.cm-s-bespin .cm-number { color: #CF6A4C; }
.cm-s-bespin .cm-string { color: #54BE0D; }
.cm-s-bespin .cm-variable { color: #7587A6; }
.cm-s-bespin .cm-variable-2 { color: #937121; }
.cm-s-bespin .cm-variable-3, .cm-s-bespin .cm-type { color: #9B859D; }
.cm-s-bespin .cm-def { color: #F9EE98; }
.cm-s-bespin .cm-tag { color: #9B859D; }
.cm-s-bespin .cm-bracket { color: #9B859D; }
.cm-s-bespin .cm-attribute { color: #937121; }
.cm-s-bespin .cm-operator { color: #5EA6EA; }
.cm-s-bespin .cm-meta { color: #F9EE98; }
.cm-s-bespin .cm-builtin { color: #937121; }
.cm-s-bespin .cm-qualifier { color: #E9C062; }

/* --- Birds of Paradise --- */
.cm-s-birds-of-paradise.CodeMirror { background: #3b2627; color: #E6E1C4; }
.cm-s-birds-of-paradise .CodeMirror-gutters { background: #3b2627; border-right: 1px solid #4d3435; color: #E6E1C490; }
.cm-s-birds-of-paradise .CodeMirror-cursor { border-left: 2px solid #E6E1C4; }
.cm-s-birds-of-paradise .CodeMirror-selected { background: #16120E; }
.cm-s-birds-of-paradise .CodeMirror-activeline-background { background: #1F1611; }
.cm-s-birds-of-paradise .cm-comment { color: #6B4E32; }
.cm-s-birds-of-paradise .cm-keyword { color: #EF5D32; }
.cm-s-birds-of-paradise .cm-atom { color: #6C99BB; }
.cm-s-birds-of-paradise .cm-number { color: #6C99BB; }
.cm-s-birds-of-paradise .cm-string { color: #D9D762; }
.cm-s-birds-of-paradise .cm-variable { color: #7DAF9C; }
.cm-s-birds-of-paradise .cm-variable-2 { color: #EFAC32; }
.cm-s-birds-of-paradise .cm-variable-3, .cm-s-birds-of-paradise .cm-type { color: #EFAC32; }
.cm-s-birds-of-paradise .cm-def { color: #EFAC32; }
.cm-s-birds-of-paradise .cm-tag { color: #EFCB43; }
.cm-s-birds-of-paradise .cm-bracket { color: #EFCB43; }
.cm-s-birds-of-paradise .cm-attribute { color: #EFCB43; }
.cm-s-birds-of-paradise .cm-operator { color: #EF5D32; }
.cm-s-birds-of-paradise .cm-meta { color: #EF5D32; }
.cm-s-birds-of-paradise .cm-builtin { color: #EFAC32; }
.cm-s-birds-of-paradise .cm-qualifier { color: #D9D762; }

/* --- Boys and Girls --- */
.cm-s-boys-and-girls.CodeMirror { background: #000205; color: #FFFFFF; }
.cm-s-boys-and-girls .CodeMirror-gutters { background: #000205; border-right: 1px solid #1a1d25; color: #ffffff90; }
.cm-s-boys-and-girls .CodeMirror-cursor { border-left: 2px solid #E60065; }
.cm-s-boys-and-girls .CodeMirror-selected { background: #E60C6559; }
.cm-s-boys-and-girls .CodeMirror-activeline-background { background: #4DD7FC1A; }
.cm-s-boys-and-girls .cm-comment { color: #404040; }
.cm-s-boys-and-girls .cm-keyword { color: #E62286; }
.cm-s-boys-and-girls .cm-atom { color: #E62286; }
.cm-s-boys-and-girls .cm-number { color: #E62286; }
.cm-s-boys-and-girls .cm-string { color: #00D8FF; }
.cm-s-boys-and-girls .cm-variable { color: #E62286; font-weight: bold; }
.cm-s-boys-and-girls .cm-variable-2 { color: #E62286; }
.cm-s-boys-and-girls .cm-variable-3, .cm-s-boys-and-girls .cm-type { color: #00D8FF; }
.cm-s-boys-and-girls .cm-def { color: #fff; font-weight: bold; }
.cm-s-boys-and-girls .cm-tag { color: #E62286; }
.cm-s-boys-and-girls .cm-bracket { color: #FFFFFF; }
.cm-s-boys-and-girls .cm-attribute { color: #E62286; }
.cm-s-boys-and-girls .cm-operator { color: #E62286; }
.cm-s-boys-and-girls .cm-meta { color: #E62286; }
.cm-s-boys-and-girls .cm-builtin { color: #fff; font-weight: bold; }
.cm-s-boys-and-girls .cm-qualifier { color: #00D8FF; }

/* --- Cool Glow --- */
.cm-s-cool-glow.CodeMirror { background: #060521; color: #E0E0E0; }
.cm-s-cool-glow .CodeMirror-gutters { background: #060521; border-right: 1px solid #141340; color: #E0E0E090; }
.cm-s-cool-glow .CodeMirror-cursor { border-left: 2px solid #FFFFFFA6; }
.cm-s-cool-glow .CodeMirror-selected { background: #122BBB; }
.cm-s-cool-glow .CodeMirror-activeline-background { background: #FFFFFF0F; }
.cm-s-cool-glow .cm-comment { color: #AEAEAE; }
.cm-s-cool-glow .cm-keyword { color: #2BF1DC; }
.cm-s-cool-glow .cm-atom { color: #62E9BD; }
.cm-s-cool-glow .cm-number { color: #62E9BD; }
.cm-s-cool-glow .cm-string { color: #8DFF8E; }
.cm-s-cool-glow .cm-variable { color: #B683CA; }
.cm-s-cool-glow .cm-variable-2 { color: #60A4F1; }
.cm-s-cool-glow .cm-variable-3, .cm-s-cool-glow .cm-type { color: #A3EBFF; }
.cm-s-cool-glow .cm-def { color: #F8FBB1; }
.cm-s-cool-glow .cm-tag { color: #60A4F1; }
.cm-s-cool-glow .cm-bracket { color: #E0E0E0; }
.cm-s-cool-glow .cm-attribute { color: #7BACCA; }
.cm-s-cool-glow .cm-operator { color: #2BF1DC; }
.cm-s-cool-glow .cm-meta { color: #F8FBB1; }
.cm-s-cool-glow .cm-builtin { color: #A3EBFF; }
.cm-s-cool-glow .cm-qualifier { color: #8DFF8E; }

/* --- Dracula --- */
.cm-s-dracula.CodeMirror { background: #2d2f3f; color: #f8f8f2; }
.cm-s-dracula .CodeMirror-gutters { background: #282a36; border-right: 1px solid #3a3c4e; color: #909194; }
.cm-s-dracula .CodeMirror-cursor { border-left: 2px solid #f8f8f0; }
.cm-s-dracula .CodeMirror-selected { background: #44475a; }
.cm-s-dracula .CodeMirror-activeline-background { background: #44475a; }
.cm-s-dracula .cm-comment { color: #6272a4; }
.cm-s-dracula .cm-keyword { color: #ff79c6; }
.cm-s-dracula .cm-atom { color: #bd93f9; }
.cm-s-dracula .cm-number { color: #bd93f9; }
.cm-s-dracula .cm-string { color: #f1fa8c; }
.cm-s-dracula .cm-variable { color: #f8f8f2; }
.cm-s-dracula .cm-variable-2 { color: #50fa7b; }
.cm-s-dracula .cm-variable-3, .cm-s-dracula .cm-type { color: #8be9fd; }
.cm-s-dracula .cm-def { color: #50fa7b; }
.cm-s-dracula .cm-tag { color: #ff79c6; }
.cm-s-dracula .cm-bracket { color: #f8f8f2; }
.cm-s-dracula .cm-attribute { color: #50fa7b; }
.cm-s-dracula .cm-operator { color: #ff79c6; }
.cm-s-dracula .cm-meta { color: #8be9fd; }
.cm-s-dracula .cm-builtin { color: #50fa7b; }
.cm-s-dracula .cm-qualifier { color: #f1fa8c; }