equal
deleted
inserted
replaced
1 \usepackage{listings} |
1 \usepackage{listings} |
2 \usepackage{xcolor} |
2 \usepackage{xcolor} |
3 \usepackage{fontspec} |
3 \usepackage{fontspec} |
4 \setmonofont[Scale=MatchLowercase]{Consolas} |
4 \setmonofont[Scale=.88]{Consolas} |
5 \newfontfamily{\consolas}{Consolas} |
5 \newfontfamily{\consolas}{Consolas} |
6 |
6 |
7 \setmonofont{Consolas} |
|
8 \definecolor{javared}{rgb}{0.6,0,0} % for strings |
7 \definecolor{javared}{rgb}{0.6,0,0} % for strings |
9 \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments |
8 \definecolor{javagreen}{rgb}{0.25,0.5,0.35} % comments |
10 \definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords |
9 \definecolor{javapurple}{rgb}{0.5,0,0.35} % keywords |
11 \definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc |
10 \definecolor{javadocblue}{rgb}{0.25,0.35,0.75} % javadoc |
12 |
11 |