From d7f6c306183595a61fc924388c19cbbc55ad30e2 Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Tue, 20 Dec 2022 19:15:33 +0100
Subject: html: Restore message cards and adjust gaps.

---
 assets/mumi.scss | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'assets')

diff --git a/assets/mumi.scss b/assets/mumi.scss
index 08a3a42..a2ff00c 100644
--- a/assets/mumi.scss
+++ b/assets/mumi.scss
@@ -300,8 +300,8 @@ a.line-anchor {
 }
 a.line-anchor:before {
     content: "# ";
-    margin-left: -2em;
-    padding-right: 2em;
+    margin-left: -1em;
+    padding-right: 1em;
 }
 
 div.line:hover a.line-anchor {
@@ -386,6 +386,11 @@ a.message-anchor {
     }
 }
 
+.issue-title {
+    font-weight: bold;
+    font-size: 1.5em;
+}
+
 .issue-details > ul {
     padding: 0;
     li {
@@ -413,6 +418,10 @@ details {
     padding: 1em 0;
 }
 
+.message header {
+    padding: 0.75rem 1.25rem;
+}
+
 .message .body pre {
     background: transparent;
     border: none;
-- 
cgit v1.2.3