langs.sty
changeset 230 0fd668d7b619
parent 222 b712519b41d3
child 234 bf7eecc9cefe
--- 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