X-Git-Url: http://git.rohieb.name/skm-ma-ws1314.git/blobdiff_plain/9d21dccc2fd73cc36a0ea2527608bfd146912497..0d2aadf6a2ba3957c52c3dc37a59c25e08556a80:/main.tex

diff --git a/main.tex b/main.tex
index ba0b733..ba238a6 100644
--- a/main.tex
+++ b/main.tex
@@ -6,15 +6,23 @@
 \usepackage{graphicx}
 \usepackage{wrapfig}
 \usepackage[hidelinks=true]{hyperref}
-\usepackage{todonotes}
+\usepackage[disable]{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 :
