Clean up the header.

Diff

patch 37ec3350c68bad91796f4ddbcf09d5ee58785d37
Author: fritjof@alokat.org
Date:   Wed Mar 11 19:58:13 UTC 2026
  * Clean up the header.
hunk ./src/DarcsWeb/Html.hs 29
-    , "<a href=\"/\">DarcsWeb</a>\n"
+    , "<a href=\"/\"><img src=\"/static/darcs-logo.png\" alt=\"darcs\" class=\"header-logo\"></a>\n"
hunk ./src/DarcsWeb/Html.hs 47
-          [ "<h1>", esc siteTitle, "</h1>\n"
-          , if null repos
+          [ if null repos
hunk ./static/style.css 57
+  display: inline-flex;
+  align-items: center;
hunk ./static/style.css 61
+.header-logo {
+  height: 28px;
+  width: auto;
+  vertical-align: middle;
+}
+
+