html: Restore message cards and adjust gaps.

1 files changed, 11 insertions, 2 deletions

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;