From: Roland Hieber <rohieb@rohieb.name>
Date: Fri, 17 Jan 2014 07:06:18 +0000 (+0100)
Subject: vertical space and font optimization
X-Git-Tag: final-after-review~3
X-Git-Url: https://git.rohieb.name/skm-ma-ws1314.git/commitdiff_plain/9fd9db35d4e21e28704b69e52973a2ace769e28f?hp=9d21dccc2fd73cc36a0ea2527608bfd146912497

vertical space and font optimization
---

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 :