Merge branch 'master' of git.martlubbers.net:msc-thesis1617

[msc-thesis1617.git] / presentation.pre

diff --git a/presentation.pre b/presentation.pre
index 35ade65..5b966ae 100644 (file)
--- a/presentation.pre
+++ b/presentation.pre
@@ -1,7 +1,9 @@
-\documentclass[handout]{beamer}
+\documentclass{beamer}
 
 \usepackage{listings}              % Source code
 \usepackage{subcaption}            % Subcaptions
+\usepackage{lmodern}               % Better teletype fonts
+\usepackage{textcomp}              % Nice listings quotes
 \usepackage[nodayofweek]{datetime} % Use a fixed document date
 
 % Beamer style
@@ -41,7 +43,6 @@
        literate=%
                % Basic Clean constructs
                {\\}{{$\lambda\:$}}1
-               {->}{{$\rightarrow\:$}}1
                {A.}{{$\forall\;\,$}}1
                {E.}{{$\exists\;\,$}}1
                {*}{{$^*$}}1
@@ -56,7 +57,7 @@
        breaklines=true,
        captionpos=b,
        keepspaces=true,
-       basicstyle=\ttfamily\fontseries{l}\scriptsize,
+       basicstyle=\ttfamily\scriptsize,
        commentstyle=\slshape\fontseries{m},
        keywordstyle=\bfseries\fontseries{b},
        stringstyle=\ttfamily,