From b5c180433ae875dbed1c40a6aef18d91e676b4b9 Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
Date: Thu, 18 Nov 2021 15:57:00 +0100
Subject: Fix monospace font issue in doc

---
 doc/thesis/tex/docstyle.sty | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/thesis/tex/docstyle.sty b/doc/thesis/tex/docstyle.sty
index b9a0b8d..def2495 100644
--- a/doc/thesis/tex/docstyle.sty
+++ b/doc/thesis/tex/docstyle.sty
@@ -45,6 +45,7 @@
 \RequirePackage{roboto}
 % Bera for monospaced font
 \setmonofont[Path=misc/,
+	Scale=0.85,
 	BoldFont = VeraMoBd,
 	ItalicFont = VeraMoIt,
 	BoldItalicFont = VeraMoBI,
@@ -116,7 +117,7 @@
   language = TeX,
   showstringspaces = false,
   % font
-  basicstyle = \ttfamily\small,
+  basicstyle = \ttfamily,
 	identifierstyle = \color{black},
 	keywordstyle = \bfseries \color{blue!70!black},
 	commentstyle = \color{gray},
-- 
cgit v1.2.1