diff --git a/css/codemirror.css b/css/codemirror.css deleted file mode 100644 index bfcdce89a..000000000 --- a/css/codemirror.css +++ /dev/null @@ -1,69 +0,0 @@ -.cm-s-default span.cm-keyword { - color: #770088; -} -.cm-s-default span.cm-atom { - color: #221199; -} -.cm-s-default span.cm-number { - color: #116644; -} -.cm-s-default span.cm-def { - color: #0000FF; -} -.cm-s-default span.cm-variable { - color: black; -} -.cm-s-default span.cm-variable-2 { - color: #0055AA; -} -.cm-s-default span.cm-variable-3 { - color: #008855; -} -.cm-s-default span.cm-property { - color: black; -} -.cm-s-default span.cm-operator { - color: black; -} -.cm-s-default span.cm-comment { - color: #AA5500; -} -.cm-s-default span.cm-string { - color: #AA1111; -} -.cm-s-default span.cm-string-2 { - color: #FF5500; -} -.cm-s-default span.cm-meta { - color: #555555; -} -.cm-s-default span.cm-error { - color: #FF0000; -} -.cm-s-default span.cm-qualifier { - color: #555555; -} -.cm-s-default span.cm-builtin { - color: #3300AA; -} -.cm-s-default span.cm-bracket { - color: #999977; -} -.cm-s-default span.cm-tag { - color: #117700; -} -.cm-s-default span.cm-attribute { - color: #0000CC; -} -.cm-s-default span.cm-header { - color: blue; -} -.cm-s-default span.cm-quote { - color: #009900; -} -.cm-s-default span.cm-hr { - color: #999999; -} -.cm-s-default span.cm-link { - color: #0000CC; -} diff --git a/css/style.css b/css/style.css index 455719b6e..459daf940 100644 --- a/css/style.css +++ b/css/style.css @@ -54,4 +54,63 @@ ul.menu li>ul { right: 0; border: 0; } +} + +/* Code highlighting */ +.cm-s-default span.cm-keyword { + color: #803C8D; +} +.cm-s-default span.cm-atom { + color: #221199; +} +.cm-s-default span.cm-number { + color: #2AA198; +} +.cm-s-default span.cm-def { + color: #256EB8; +} +.cm-s-default span.cm-variable { + color: black; +} +.cm-s-default span.cm-variable-2 { + color: #817E61; +} +.cm-s-default span.cm-variable-3 { + color: #008855; +} +.cm-s-default span.cm-property { + color: black; +} +.cm-s-default span.cm-operator { + color: black; +} +.cm-s-default span.cm-comment { + color: #A82323; +} +.cm-s-default span.cm-string { + color: #866544; +} +.cm-s-default span.cm-string-2 { + color: #FF5500; +} +.cm-s-default span.cm-meta { + color: #555555; +} +.cm-s-default span.cm-error { + color: #FF0000; +} +.cm-s-default span.cm-qualifier { + color: #555555; +} +.cm-s-default span.cm-builtin { + color: #3300AA; +} +.cm-s-default span.cm-bracket { + color: #999977; +} +.cm-s-default span.cm-tag { + color: #117700; +} +.cm-s-default span.cm-attribute { + color: #0000CC; } \ No newline at end of file diff --git a/index.html b/index.html index 6ec9f2f00..f52aaa449 100644 --- a/index.html +++ b/index.html @@ -6,7 +6,6 @@ -