diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-02-04 01:24:25 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-02-04 01:24:25 +0100 |
| commit | 6b57e40283ebe633c4bd62207e694ac475a17d17 (patch) | |
| tree | abc04efc416fe4931db4d49c9f145dbcba606f1a /assets/css | |
| parent | 7edd0d40639c5478050743868e5513fd07ae1c8c (diff) | |
html: Show related bugs that were merged.
* mumi/web/view/html.scm (issue-page): Process "mergedwith" field.
* assets/css/screen.css: Add rules for ul.merged.
Diffstat (limited to 'assets/css')
| -rw-r--r-- | assets/css/screen.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/assets/css/screen.css b/assets/css/screen.css index 012d359..45aea24 100644 --- a/assets/css/screen.css +++ b/assets/css/screen.css @@ -61,6 +61,13 @@ h2 { padding-bottom: 5px; } +ul.merged li { + display: inline-block; +} +ul.merged li + li:before { + content: ", "; +} + p { max-width: 70rem; } |