change font size of twelve days

2020-01-20 08:00:10 +01:00 · 2020-01-20 08:00:10 +01:00 · 1043015186
commit 1043015186
parent 4cf79797c6
2 changed files with 1 additions and 1 deletions
--- a/programming.pdf
+++ b/programming.pdf
--- a/programming.tex
+++ b/programming.tex
@ -168,7 +168,7 @@ fib n = fib (n - 2) + fib (n - 1)
 	\frametitle{Advanced Example}

 \lstinputlisting[
-	basicstyle=\color{white}\fontsize{9pt}{9pt}\ttfamily
+	basicstyle=\color{white}\fontsize{8pt}{8pt}\ttfamily
 	]{12days.hs}

 \end{frame}