diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-07 14:48:53 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-07 14:48:53 +0200 |
| commit | cec9c873fa7265de8478a9d34cf38123ac760b3d (patch) | |
| tree | 14a74cfb339cc4053a5a168653c16066ba4225b5 /mumi | |
| parent | 506568d4cbb5d3052ab91e21745469558d453d71 (diff) | |
css: Merge code and screen CSS files.
Diffstat (limited to 'mumi')
| -rw-r--r-- | mumi/web/view/html.scm | 7 |
1 files changed, 1 insertions, 6 deletions
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." |