[icecoder theme] Add

Spent quite a while perfecting this (IMO), but a lot of people seem to
really like it. Hope you do too.

demo/theme.html

@@ -17,6 +17,7 @@
 <link rel="stylesheet" href="../theme/eclipse.css">
 <link rel="stylesheet" href="../theme/elegant.css">
 <link rel="stylesheet" href="../theme/erlang-dark.css">
+<link rel="stylesheet" href="../theme/icecoder.css">
 <link rel="stylesheet" href="../theme/lesser-dark.css">
 <link rel="stylesheet" href="../theme/liquibyte.css">
 <link rel="stylesheet" href="../theme/material.css">
@@ -93,6 +94,7 @@ function findSequence(goal) {
     <option>eclipse</option>
     <option>elegant</option>
     <option>erlang-dark</option>
+    <option>icecoder</option>
     <option>lesser-dark</option>
     <option>liquibyte</option>
     <option>material</option>

theme/icecoder.css

+/*
+ICEcoder default theme by Matt Pass, used in code editor available at https://icecoder.net
+*/
+
+.cm-s-icecoder {color: #666; background: #141612}
+
+.cm-s-icecoder span.cm-keyword {color: #eee; font-weight:bold}  /* off-white 1 */
+.cm-s-icecoder span.cm-atom {color: #e1c76e}                    /* yellow */
+.cm-s-icecoder span.cm-number {color: #6cb5d9}                  /* blue */
+.cm-s-icecoder span.cm-def {color: #b9ca4a}                     /* green */
+
+.cm-s-icecoder span.cm-variable {color: #6cb5d9}                /* blue */
+.cm-s-icecoder span.cm-variable-2 {color: #bf255c}              /* pink */
+.cm-s-icecoder span.cm-variable-3 {color: #f9602c}              /* orange */
+
+.cm-s-icecoder span.cm-property {color: #eee}                   /* off-white 1 */
+.cm-s-icecoder span.cm-operator {color: #9179bb}                /* purple */
+.cm-s-icecoder span.cm-comment {color: #97a3aa}                 /* grey-blue */
+
+.cm-s-icecoder span.cm-string {color: #b9ca4a}                  /* green */
+.cm-s-icecoder span.cm-string-2 {color: #6cb5d9}                /* blue */
+
+.cm-s-icecoder span.cm-meta {color: #555}                       /* grey */
+
+.cm-s-icecoder span.cm-qualifier {color: #555}                  /* grey */
+.cm-s-icecoder span.cm-builtin {color: #214e7b}                 /* bright blue */
+.cm-s-icecoder span.cm-bracket {color: #cc7}                    /* grey-yellow */
+
+.cm-s-icecoder span.cm-tag {color: #e8e8e8}                     /* off-white 2 */
+.cm-s-icecoder span.cm-attribute {color: #099}                  /* teal */
+
+.cm-s-icecoder span.cm-header {color: #6a0d6a}                  /* purple-pink */
+.cm-s-icecoder span.cm-quote {color: #186718}                   /* dark green */
+.cm-s-icecoder span.cm-hr {color: #888}                         /* mid-grey */
+.cm-s-icecoder span.cm-link {color: #e1c76e}                    /* yellow */
+.cm-s-icecoder span.cm-error {color: #d00}                      /* red */
+
+.cm-s-icecoder .CodeMirror-cursor {border-left: 1px solid white !important}
+.cm-s-icecoder .CodeMirror-selected {color: #fff !important; background: #037 !important}
+.cm-s-icecoder .CodeMirror-gutters {background: #141612; min-width: 41px; border-right: 0}
+.cm-s-icecoder .CodeMirror-linenumber {color: #555; cursor: default}
+.cm-s-icecoder .CodeMirror-matchingbracket {border: 1px solid grey; color: black !important}
\ No newline at end of file