Use default tt font instead of beramono.

2019-08-13 09:24:32 +01:00 · 2019-08-13 09:24:32 +01:00 · d00cf8d4c3
parent 40bb39c89c
commit d00cf8d4c3
1 changed files with 0 additions and 1 deletions
--- 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}