From 9fd9db35d4e21e28704b69e52973a2ace769e28f Mon Sep 17 00:00:00 2001
From: Roland Hieber <rohieb@rohieb.name>
Date: Fri, 17 Jan 2014 08:06:18 +0100
Subject: [PATCH] vertical space and font optimization

---
 main.tex | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/main.tex b/main.tex
index ba0b733..9f3f2c7 100644
--- a/main.tex
+++ b/main.tex
@@ -9,12 +9,20 @@
 \usepackage{todonotes}
 \usepackage{tikz}
 \usepackage{enumitem}  % for sparse lists with \setlist
-
 \usetikzlibrary{arrows}
+
+% use sans-serif font for code instead of default monospace
 \urlstyle{sf}
+\makeatletter \def\verbatim@font{\sffamily} \makeatother
+
+% optimize vertical space in lists
 \setlist[enumerate]{noitemsep}
 \setlist[itemize]{noitemsep}
 
+% ...and in verbatim environment
+\usepackage{etoolbox}
+\makeatletter \preto{\@verbatim}{\topsep=0pt \partopsep=0pt} \makeatother
+
 \newcommand{\pages}[1]{\marginpar{#1 pages}}
 \newcommand{\term}[1]{\emph{#1}}
 \newcommand{\code}[1]{\textsf{#1}}
@@ -45,7 +53,7 @@ communication protocol used in Chatty Things.
 \input{sec-discussion.tex}
 
 \bibliographystyle{plain}
-{\small \bibliography{biblio}}
+{\footnotesize \bibliography{biblio}}
 
 \end{document}
 % vim: set ft=tex et ts=2 sw=2 :
-- 
2.20.1