diff options
| -rw-r--r-- | assets/css/screen.css | 36 | ||||
| -rw-r--r-- | mumi/web/view/html.scm | 7 |
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." |