From 32945716ee06fb2a7537cff6131c3c0f62f0f139 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Tue, 18 Jan 2022 09:27:22 +0100
Subject: [PATCH] prefer bitstream vera sans mono font

---
 stylesheets/application.scss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/stylesheets/application.scss b/stylesheets/application.scss
index 20582a5..097426a 100644
--- a/stylesheets/application.scss
+++ b/stylesheets/application.scss
@@ -325,6 +325,10 @@ div.wiki {
 	padding-right: 1ex;
 }
 
+pre, code, table.filecontent td.line-code pre {
+	font-family: Consolas, Menlo, "Bitstream Vera Sans Mono", monospace;
+}
+
 #history {
     border: 0;
 }