Use the Guix logo instead of GuixSD.
authorRicardo Wurmus <rekado@elephly.net>
Mon, 28 Jan 2019 12:16:38 +0000 (13:16 +0100)
committerRicardo Wurmus <rekado@elephly.net>
Mon, 28 Jan 2019 12:16:38 +0000 (13:16 +0100)
* assets/css/screen.css (.logo): New rules.
* assets/img/logo.png: Replace file.
* mumi/web/view/html.scm (header): Remove IMG tag.

assets/css/screen.css
assets/img/logo.png
mumi/web/view/html.scm

index 6f92864..73dceae 100644 (file)
@@ -22,6 +22,23 @@ h1 {
     color: #333;
 }
 
+.logo:link,
+.logo:visited {
+    background-image: url("../img/logo.png");
+    background-position: bottom;
+    background-repeat: no-repeat;
+    border-style: none;
+    display: inline-block;
+    height: 55px;
+    width: 170px;
+}
+
+.logo:active,
+.logo:focus,
+.logo:hover {
+    background-position: top;
+}
+
 .title {
     clear: both;
     font-size: 16px;
index 0642520..49f39a2 100644 (file)
Binary files a/assets/img/logo.png and b/assets/img/logo.png differ
index ad2888c..ee660c6 100644 (file)
      (div
       (@ (class "navbar-header"))
       (div (@ (class "navbar-brand"))
-           (a (@ (href "/") (class "logo"))
-              (img (@ (src "/img/logo.png")
-                      (alt "Guix patch tracker"))))))
+           (a (@ (href "/") (class "logo")))))
      ,@(if search-bar?
            `(,(search-form))
            '()))))