diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 19:15:33 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2022-12-20 19:15:33 +0100 |
commit | d7f6c306183595a61fc924388c19cbbc55ad30e2 (patch) | |
tree | cd4db5c67086f69803ca8ab6fafbcc2afa42eec5 /assets | |
parent | 0e07414e4ea5310f27b30e71a44f75f850823c4f (diff) |
html: Restore message cards and adjust gaps.
Diffstat (limited to 'assets')
-rw-r--r-- | assets/mumi.scss | 13 |
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; |