From 0e07414e4ea5310f27b30e71a44f75f850823c4f Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Tue, 20 Dec 2022 19:11:07 +0100 Subject: html: Fix styling of event badges. --- assets/mumi.scss | 23 +++++++++++++++++++++-- mumi/web/view/html.scm | 6 ++---- 2 files changed, 23 insertions(+), 6 deletions(-) diff --git a/assets/mumi.scss b/assets/mumi.scss index a0185ab..08a3a42 100644 --- a/assets/mumi.scss +++ b/assets/mumi.scss @@ -261,9 +261,28 @@ table { } /* messages */ -.row.event { +.event { margin-bottom: 1em; - font-size: 1.2em; + text-align: center; + margin: 0.5em auto; + display: block; +} + +.badge { + display: inline-block; + border-radius: 10px; + color: var(--primary-inverse); + background-color: var(--primary); + padding: 0.3em; +} + +.badge-primary { + color: var(--primary-inverse); + background-color: var(--primary); +} +.badge-info { + color: var(--secondary-inverse); + background-color: var(--secondary); } .info .stat { diff --git a/mumi/web/view/html.scm b/mumi/web/view/html.scm index 336260b..ea88b4a 100644 --- a/mumi/web/view/html.scm +++ b/mumi/web/view/html.scm @@ -677,10 +677,8 @@ currently disabled.")) ,(display-message-body id message-number message))))) ,@(if (closing? message id) '((div - (@ (class "row event")) - (div - (@ (class "col-11 offset-1 text-center")) - (div (@ (class "badge badge-primary closed")) "Closed")))) + (@ (class "event")) + (div (@ (class "badge badge-primary closed")) "Closed"))) '()))) (if (null? messages) #f -- cgit v1.2.3