
diff -r f8dc3dbdaa5c -r 0c62ec6dc691 slides/slides03.tex
--- a/slides/slides03.tex	Tue Dec 03 20:00:03 2013 +0000
+++ b/slides/slides03.tex	Tue Dec 10 04:15:57 2013 +0000
@@ -19,6 +19,8 @@
 \usetikzlibrary{positioning}
 \usetikzlibrary{calc}
 \usepackage{graphicx} 
+\setmonofont[Scale=MatchLowercase]{Consolas}
+\newfontfamily{\consolas}{Consolas}
 
 \definecolor{javared}{rgb}{0.6,0,0} % for strings
 \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments




