
diff -r 00c4fda3d6c5 -r 0fd668d7b619 langs.sty
--- a/langs.sty	Tue Aug 26 17:26:06 2014 +0100
+++ b/langs.sty	Wed Aug 27 16:11:32 2014 +0100
@@ -1,10 +1,9 @@
 \usepackage{listings}
 \usepackage{xcolor}
 \usepackage{fontspec}
-\setmonofont[Scale=MatchLowercase]{Consolas}
+\setmonofont[Scale=.88]{Consolas}
 \newfontfamily{\consolas}{Consolas}
 
-\setmonofont{Consolas}
 \definecolor{javared}{rgb}{0.6,0,0} % for strings
 \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments
 \definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords




