changeset 156 | 3b831b9dc616 |
child 160 | 4cbd6ca025e6 |
155:c70342f08326 | 156:3b831b9dc616 |
---|---|
1 \usepackage{xcolor} |
|
2 \usepackage{fontspec} |
|
3 \usepackage[sc]{mathpazo} |
|
4 \usepackage{fontspec} |
|
5 \setmainfont[Ligatures=TeX]{Palatino Linotype} |
|
6 \usepackage{amssymb} |
|
7 \usepackage{amsmath} |
|
8 \usepackage{menukeys} |
|
9 \definecolor{darkblue}{rgb}{0,0,0.6} |
|
10 \usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref} |
|
11 |
|
12 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
|
13 \definecolor{codegray}{gray}{0.9} |