html: Fix style of comment box and message headers.

1 files changed, 8 insertions, 8 deletions

diff --git a/assets/mumi.scss b/assets/mumi.scss
index a2ff00c..66010e4 100644
--- a/assets/mumi.scss
+++ b/assets/mumi.scss
@@ -142,6 +142,10 @@ h1 {
     margin-bottom: 2rem;
     border-top: 1px dashed #ddd;
     padding-top: 1rem;
+
+    header input {
+        height: 2rem;
+    }
 }
 
 h2 {
@@ -243,7 +247,7 @@ nav span.navbar-text {
     margin-bottom: 0;
 }
 
-footer {
+body > footer {
     border-color: #1A1A1A1A;
     border-style: dashed none none none;
     border-width: 2px;
@@ -273,7 +277,8 @@ table {
     border-radius: 10px;
     color: var(--primary-inverse);
     background-color: var(--primary);
-    padding: 0.3em;
+    padding: 0.25em 0.4em;
+    margin-right: 0.25rem;
 }
 
 .badge-primary {
@@ -419,12 +424,7 @@ details {
 }
 
 .message header {
-    padding: 0.75rem 1.25rem;
-}
-
-.message .body pre {
-    background: transparent;
-    border: none;
+    padding: 0.8em var(--block-spacing-horizontal);
 }
 
 .message .body .multipart {