From eebaa81f43a6fd982dcd96571a020242f0ea3276 Mon Sep 17 00:00:00 2001
From: silverwind <me@silverwind.io>
Date: Fri, 6 Nov 2020 18:16:21 +0100
Subject: [PATCH] Override fomantic monospace fonts and set size (#13435)

We did not override those yet so default `monospace` was applied. Also
added a tweak to slightly reduce font size because monospace fonts
usually render slightly larger than proportional ones.

Co-authored-by: Antoine GIRARD <sapk@users.noreply.github.com>
Co-authored-by: techknowlogick <techknowlogick@gitea.io>
---
 web_src/less/_base.less | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/web_src/less/_base.less b/web_src/less/_base.less
index 4dc831c63..3488fc360 100644
--- a/web_src/less/_base.less
+++ b/web_src/less/_base.less
@@ -123,6 +123,13 @@ h5,
   font-family: var(--fonts-regular);
 }
 
+code,
+kbd,
+samp {
+  font-size: .9em; /* compensate for monospace fonts being usually slighty larger */
+  font-family: var(--fonts-monospace);
+}
+
 body {
   background-color: var(--color-body);
   overflow-y: auto;