diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-06 11:00:07 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-06 11:00:07 +0200 |
| commit | ee851947627f52f6104c29d71e761f4fd90d4fca (patch) | |
| tree | 77763a74310643c1657c07ec7d4cd2a9f92be00f | |
| parent | ee4fcd3e3fabb0461439b3ca8125eee9146cd2b0 (diff) | |
view: Reduce size of h1 heading on issue pages.
| -rw-r--r-- | mumi/web/view/html.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index dfccc1a..8f6307f 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -389,7 +389,7 @@ failed to process associated messages.") (_ '())) (div (@ (class "title col-12")) - (h1 ,(bug-subject* bug)) + (h1 (@ (class "h3")) ,(bug-subject* bug)) (span (@ (class "details")) ,(status-tag bug) ,(string-append "Submitted by " |