diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-05 15:18:35 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-05 15:18:35 +0200 |
| commit | 5c92b8912a3831a2062c7fa2f175b1c194e4d993 (patch) | |
| tree | 67e80c107ad1fa592e97cc6b221c14bc3937afac | |
| parent | 74606cf222166c334de66752d229d49b76e34d0c (diff) | |
view: Show issue title in fixed top bar.
| -rw-r--r-- | assets/css/screen.css | 4 | ||||
| -rw-r--r-- | mumi/web/view/html.scm | 9 |
2 files changed, 10 insertions, 3 deletions
diff --git a/assets/css/screen.css b/assets/css/screen.css index b622de7..e0c7382 100644 --- a/assets/css/screen.css +++ b/assets/css/screen.css @@ -6,6 +6,10 @@ html, body { margin: 0px; } +body { + padding-top: 3em; +} + h1 { clear: both; margin-top: 1.3rem; diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index 95da8c1..df28d10 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -173,11 +173,14 @@ simple query language. Here is a list of supported query terms:") (a (@ (href "help#search")) "many more!")))))) -(define* (header #:key (search-bar? #t)) +(define* (header #:key (search-bar? #t) title) `(nav - (@ (class "navbar navbar-expand navbar-light bg-light")) + (@ (class "fixed-top navbar navbar-expand navbar-light bg-light")) (a (@ (href "/") (class "navbar-brand pt-0 logo navbar-collapse")) (img (@ (src "/img/logo.png") (alt "logo") (height "25")))) + ,@(if title + `((span (@ (class "navbar-text navbar-collapse")) ,title)) + '()) ,@(if search-bar? `(,(search-form)) '()))) @@ -371,7 +374,7 @@ failed to process associated messages.") (layout #:title (bug-subject* bug) #:body - `(,(header) + `(,(header #:title (bug-subject* bug)) (div (@ (class "container")) ,@(match flash-message |