css: Merge code and screen CSS files.

2 files changed, 37 insertions, 6 deletions

diff --git a/assets/css/screen.css b/assets/css/screen.css
index c885f86..deb4ce0 100644
--- a/assets/css/screen.css
+++ b/assets/css/screen.css
@@ -397,3 +397,39 @@ details {
 .message .body.card-body {
     padding: .8rem;
 }
+
+
+
+/* Syntax highlighting code, by David Thompson, borrowed
+   from:
+     https://git.dthompson.us/blog.git/blob_plain/refs/heads/haunt-migration:/css/dthompson.css
+   David Thompson gives permission for this to be GPLv3+ and CC BY-SA 4.0
+
+   Modified significantly since.
+*/
+
+
+.syntax-special, .syntax-element {
+    color: #856;
+    font-weight: bold;
+}
+
+.syntax-symbol {
+    color: #423;
+}
+
+.syntax-string {
+    color: #484;
+}
+
+.syntax-keyword, .syntax-attribute {
+    color: #921;
+}
+
+.syntax-comment {
+    color: #666;
+}
+
+.syntax-open, .syntax-close {
+    color: #688;
+}
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm
index f6ab518..4026489 100644
--- a/mumi/web/view/html.scm
+++ b/mumi/web/view/html.scm
@@ -71,12 +71,7 @@
        (@ (rel "stylesheet")
           (media "screen")
           (type "text/css")
-          (href "/css/screen.css")))
-      (link
-       (@ (rel "stylesheet")
-          (media "screen")
-          (type "text/css")
-          (href "/css/code.css"))))
+          (href "/css/screen.css?20200507"))))
      (body ,@body
            (footer (@ (class "text-center"))
                    (p "Copyright © 2016—2020 by the GNU Guix community."