From deeabe7eea86c8255ea3aac19c57ed2944c14a2a Mon Sep 17 00:00:00 2001
From: Thomas Gelf <thomas@gelf.net>
Date: Mon, 8 Oct 2018 13:47:49 +0200
Subject: [PATCH] css: smaller health badges

---
 public/css/module.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/css/module.less b/public/css/module.less
index cd8e5214..59933378 100644
--- a/public/css/module.less
+++ b/public/css/module.less
@@ -1076,7 +1076,7 @@ ul.health-check-result {
 
 .title-badges {
   .badge {
-    font-size: 0.75em;
+    font-size: 0.6em;
     margin-left: 0.5em;
   }
 }