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