From ab74b7c5c886fb9d6821c5b5057026304c51a4e0 Mon Sep 17 00:00:00 2001
From: Steven Engler <sengler@uwaterloo.ca>
Date: Thu, 19 Sep 2019 01:12:09 -0400
Subject: [PATCH] Changed the dark theme code highlighting colors

Switched from the 'monokai' chroma color theme to a slightly modified
version of the 'native' chroma color theme.
---
 static/css/themes/dark-chroma.css | 111 ++++++++++++++++--------------
 1 file changed, 58 insertions(+), 53 deletions(-)

diff --git a/static/css/themes/dark-chroma.css b/static/css/themes/dark-chroma.css
index 3747a11..9402b7d 100644
--- a/static/css/themes/dark-chroma.css
+++ b/static/css/themes/dark-chroma.css
@@ -1,59 +1,64 @@
-/* Background */ .chroma { color: #f8f8f2; background-color: #272822 }
-/* Error */ .chroma .err { color: #960050; background-color: #1e0010 }
+/* Background */ .chroma { color: #d0d0d0; background-color: #1a1a1a }
+/* Error */ .chroma .err { color: #a61717; background-color: #e3d2d2 }
 /* LineTableTD */ .chroma .lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
 /* LineTable */ .chroma .lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; width: auto; overflow: auto; display: block; }
-/* LineHighlight */ .chroma .hl { display: block; width: 100%;background-color: #515346 }
+/* LineHighlight */ .chroma .hl { display: block; width: 100%; background-color: #404040 }
 /* LineNumbersTable */ .chroma .lnt { margin-right: 0.4em; padding: 0 0.4em 0 0.4em; }
 /* LineNumbers */ .chroma .ln { margin-right: 0.4em; padding: 0 0.4em 0 0.4em; }
-/* Keyword */ .chroma .k { color: #66d9ef }
-/* KeywordConstant */ .chroma .kc { color: #66d9ef }
-/* KeywordDeclaration */ .chroma .kd { color: #66d9ef }
-/* KeywordNamespace */ .chroma .kn { color: #f92672 }
-/* KeywordPseudo */ .chroma .kp { color: #66d9ef }
-/* KeywordReserved */ .chroma .kr { color: #66d9ef }
-/* KeywordType */ .chroma .kt { color: #66d9ef }
-/* NameAttribute */ .chroma .na { color: #a6e22e }
-/* NameClass */ .chroma .nc { color: #a6e22e }
-/* NameConstant */ .chroma .no { color: #66d9ef }
-/* NameDecorator */ .chroma .nd { color: #a6e22e }
-/* NameException */ .chroma .ne { color: #a6e22e }
-/* NameFunction */ .chroma .nf { color: #a6e22e }
-/* NameOther */ .chroma .nx { color: #a6e22e }
-/* NameTag */ .chroma .nt { color: #f92672 }
-/* Literal */ .chroma .l { color: #ae81ff }
-/* LiteralDate */ .chroma .ld { color: #e6db74 }
-/* LiteralString */ .chroma .s { color: #e6db74 }
-/* LiteralStringAffix */ .chroma .sa { color: #e6db74 }
-/* LiteralStringBacktick */ .chroma .sb { color: #e6db74 }
-/* LiteralStringChar */ .chroma .sc { color: #e6db74 }
-/* LiteralStringDelimiter */ .chroma .dl { color: #e6db74 }
-/* LiteralStringDoc */ .chroma .sd { color: #e6db74 }
-/* LiteralStringDouble */ .chroma .s2 { color: #e6db74 }
-/* LiteralStringEscape */ .chroma .se { color: #ae81ff }
-/* LiteralStringHeredoc */ .chroma .sh { color: #e6db74 }
-/* LiteralStringInterpol */ .chroma .si { color: #e6db74 }
-/* LiteralStringOther */ .chroma .sx { color: #e6db74 }
-/* LiteralStringRegex */ .chroma .sr { color: #e6db74 }
-/* LiteralStringSingle */ .chroma .s1 { color: #e6db74 }
-/* LiteralStringSymbol */ .chroma .ss { color: #e6db74 }
-/* LiteralNumber */ .chroma .m { color: #ae81ff }
-/* LiteralNumberBin */ .chroma .mb { color: #ae81ff }
-/* LiteralNumberFloat */ .chroma .mf { color: #ae81ff }
-/* LiteralNumberHex */ .chroma .mh { color: #ae81ff }
-/* LiteralNumberInteger */ .chroma .mi { color: #ae81ff }
-/* LiteralNumberIntegerLong */ .chroma .il { color: #ae81ff }
-/* LiteralNumberOct */ .chroma .mo { color: #ae81ff }
-/* Operator */ .chroma .o { color: #f92672 }
-/* OperatorWord */ .chroma .ow { color: #f92672 }
-/* Comment */ .chroma .c { color: #75715e }
-/* CommentHashbang */ .chroma .ch { color: #75715e }
-/* CommentMultiline */ .chroma .cm { color: #75715e }
-/* CommentSingle */ .chroma .c1 { color: #75715e }
-/* CommentSpecial */ .chroma .cs { color: #75715e }
-/* CommentPreproc */ .chroma .cp { color: #75715e }
-/* CommentPreprocFile */ .chroma .cpf { color: #75715e }
-/* GenericDeleted */ .chroma .gd { color: #f92672 }
+/* Keyword */ .chroma .k { color: #6ab825; font-weight: bold }
+/* KeywordConstant */ .chroma .kc { color: #6ab825; font-weight: bold }
+/* KeywordDeclaration */ .chroma .kd { color: #6ab825; font-weight: bold }
+/* KeywordNamespace */ .chroma .kn { color: #6ab825; font-weight: bold }
+/* KeywordPseudo */ .chroma .kp { color: #6ab825 }
+/* KeywordReserved */ .chroma .kr { color: #6ab825; font-weight: bold }
+/* KeywordType */ .chroma .kt { color: #6ab825; font-weight: bold }
+/* NameAttribute */ .chroma .na { color: #bbbbbb }
+/* NameBuiltin */ .chroma .nb { color: #24909d }
+/* NameClass */ .chroma .nc { color: #447fcf }
+/* NameConstant */ .chroma .no { color: #447fcf }
+/* NameDecorator */ .chroma .nd { color: #ffa500 }
+/* NameException */ .chroma .ne { color: #bbbbbb }
+/* NameFunction */ .chroma .nf { color: #447fcf }
+/* NameNamespace */ .chroma .nn { color: #447fcf }
+/* NameTag */ .chroma .nt { color: #6ab825; font-weight: bold }
+/* NameVariable */ .chroma .nv { color: #447fcf }
+/* LiteralString */ .chroma .s { color: #ed9d13 }
+/* LiteralStringAffix */ .chroma .sa { color: #ed9d13 }
+/* LiteralStringBacktick */ .chroma .sb { color: #ed9d13 }
+/* LiteralStringChar */ .chroma .sc { color: #ed9d13 }
+/* LiteralStringDelimiter */ .chroma .dl { color: #ed9d13 }
+/* LiteralStringDoc */ .chroma .sd { color: #ed9d13 }
+/* LiteralStringDouble */ .chroma .s2 { color: #ed9d13 }
+/* LiteralStringEscape */ .chroma .se { color: #ed9d13 }
+/* LiteralStringHeredoc */ .chroma .sh { color: #ed9d13 }
+/* LiteralStringInterpol */ .chroma .si { color: #ed9d13 }
+/* LiteralStringOther */ .chroma .sx { color: #ffa500 }
+/* LiteralStringRegex */ .chroma .sr { color: #ed9d13 }
+/* LiteralStringSingle */ .chroma .s1 { color: #ed9d13 }
+/* LiteralStringSymbol */ .chroma .ss { color: #ed9d13 }
+/* LiteralNumber */ .chroma .m { color: #3677a9 }
+/* LiteralNumberBin */ .chroma .mb { color: #3677a9 }
+/* LiteralNumberFloat */ .chroma .mf { color: #3677a9 }
+/* LiteralNumberHex */ .chroma .mh { color: #3677a9 }
+/* LiteralNumberInteger */ .chroma .mi { color: #3677a9 }
+/* LiteralNumberIntegerLong */ .chroma .il { color: #3677a9 }
+/* LiteralNumberOct */ .chroma .mo { color: #3677a9 }
+/* OperatorWord */ .chroma .ow { color: #6ab825; font-weight: bold }
+/* Comment */ .chroma .c { color: #999999; font-style: italic }
+/* CommentHashbang */ .chroma .ch { color: #999999; font-style: italic }
+/* CommentMultiline */ .chroma .cm { color: #999999; font-style: italic }
+/* CommentSingle */ .chroma .c1 { color: #999999; font-style: italic }
+/* CommentSpecial */ .chroma .cs { color: #e50808; background-color: #520000; font-weight: bold }
+/* CommentPreproc */ .chroma .cp { color: #cd2828; font-weight: bold }
+/* CommentPreprocFile */ .chroma .cpf { color: #cd2828; font-weight: bold }
+/* GenericDeleted */ .chroma .gd { color: #d22323 }
 /* GenericEmph */ .chroma .ge { font-style: italic }
-/* GenericInserted */ .chroma .gi { color: #a6e22e }
+/* GenericError */ .chroma .gr { color: #d22323 }
+/* GenericHeading */ .chroma .gh { color: #ffffff; font-weight: bold }
+/* GenericInserted */ .chroma .gi { color: #589819 }
+/* GenericOutput */ .chroma .go { color: #cccccc }
+/* GenericPrompt */ .chroma .gp { color: #aaaaaa }
 /* GenericStrong */ .chroma .gs { font-weight: bold }
-/* GenericSubheading */ .chroma .gu { color: #75715e }
+/* GenericSubheading */ .chroma .gu { color: #ffffff }
+/* GenericTraceback */ .chroma .gt { color: #d22323 }
+/* TextWhitespace */ .chroma .w { color: #666666 }