From c46465e0623f33a5f5af557edb2a59e95aed9cc3 Mon Sep 17 00:00:00 2001
From: Milan <mc@radiopiloten.de>
Date: Sat, 23 May 2020 23:14:56 +0200
Subject: [PATCH] fix badge margins

---
 website/agenda/planung/css/default.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/website/agenda/planung/css/default.css b/website/agenda/planung/css/default.css
index 37c7b8d..6cd8b88 100644
--- a/website/agenda/planung/css/default.css
+++ b/website/agenda/planung/css/default.css
@@ -334,6 +334,8 @@ div.badge-error {
     display: inline;
     margin: 3px;
     padding: 3px;
+    line-height:1.6rem;
+    white-space: nowrap;
 }
 
 div.badge-ok {