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 @@
-