From 48f8c5e1ae835faf0c66e1973fa834c8eeb9e6d7 Mon Sep 17 00:00:00 2001
From: Cirno the Strongest <1447794+CirnoT@users.noreply.github.com>
Date: Sat, 7 Nov 2020 13:54:38 +0100
Subject: [PATCH] Fix monospace font size for .mono CSS class (#13453)

---
 web_src/less/helpers.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web_src/less/helpers.less b/web_src/less/helpers.less
index b62ce3494..0fc5d573f 100644
--- a/web_src/less/helpers.less
+++ b/web_src/less/helpers.less
@@ -4,7 +4,7 @@
 .js { justify-content: flex-start; }
 .je { justify-content: flex-end; }
 .sb { justify-content: space-between; }
-.mono { font-family: var(--fonts-monospace); }
+.mono { font-family: var(--fonts-monospace); font-size: .9em; /* compensate for monospace fonts being usually slighty larger */ }
 .rounded { border-radius: var(--border-radius) !important; }
 .word-break { word-wrap: break-word; word-break: break-all; }