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}