From 429497f92708c5bb5a6b4e54ffa392acc60a33fd Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Wed, 31 Jul 2019 11:14:41 +0200
Subject: [PATCH] Make all verbatim tiny

---
 doc/Thesis.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/Thesis.tex b/doc/Thesis.tex
index 4592c61..b28bca9 100644
--- a/doc/Thesis.tex
+++ b/doc/Thesis.tex
@@ -4,12 +4,20 @@
 
 %** preamble.tex: here all the document-wide settings
 %                 are defined
+
+
+
+\makeatletter
+\newcommand{\verbatimfont}[1]{\renewcommand{\verbatim@font}{\ttfamily#1}}
+\makeatother
+
 \input{preamble}
 
 %********************************
 
 %** begin the document environment
 \begin{document}
+\verbatimfont{\tiny}%
 
 \frenchspacing
 \sloppy