changeset 152 | 0c62ec6dc691 |
parent 115 | c4008b31df8e |
child 196 | 22f027da67ec |
--- 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