diff options
| -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 |