From d00cf8d4c30137ae57fbe6a145890e9a536c0cd9 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 13 Aug 2019 09:24:32 +0100
Subject: [PATCH] Use default tt font instead of beramono.

---
 .../technical_report/Isabelle_DOF-Manual/document/preamble.tex   | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index abd6980..9eecbee 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -18,7 +18,6 @@
 
 \usepackage{dirtree}
 \renewcommand*\DTstylecomment{\ttfamily\itshape}
-\usepackage[scaled=0.88]{beramono}%
 \usepackage{upquote}%
 \usepackage{textcomp}
 \usepackage{xcolor}