From 4af2942ed8dbb9e61376d465beb8c3bd267ed6e6 Mon Sep 17 00:00:00 2001
From: Ronaldo Richieri <ronaldo@bestpractical.com>
Date: Thu, 21 Dec 2023 09:26:41 -0300
Subject: [PATCH] Add CSS definition for "pre" blocks

Bootstrap sets the "pre" font-face to "Inter" before "monospace", which
ends up using the "Inter" font for "pre" blocks.  This is not ideal for
code blocks because it is not a monospaced font and will render code
or inline tables misaligned.

This commit adds a CSS definition for "pre" blocks that sets the
font-face to "monospace" with a fallback to "Courier".
---
 share/static/css/elevator-light/base.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/share/static/css/elevator-light/base.css b/share/static/css/elevator-light/base.css
index 5938f2977bb..7df9fdcef81 100644
--- a/share/static/css/elevator-light/base.css
+++ b/share/static/css/elevator-light/base.css
@@ -14,3 +14,8 @@ dl {
 dd {
     margin-bottom: .6rem;
 }
+
+pre {
+    font-family: monospace, Courier;
+    font-size: 100%;
+}