diff options
Diffstat (limited to 'iadocs')
-rw-r--r-- | iadocs/header.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/iadocs/header.inc b/iadocs/header.inc index 2133b1c..b839d25 100644 --- a/iadocs/header.inc +++ b/iadocs/header.inc @@ -7,7 +7,7 @@ \usepackage{fontspec} \setmainfont{TeX Gyre Termes} \setsansfont{TeX Gyre Heros} -\setmonofont{Latin Modern Mono} +\setmonofont{DejaVu Sans Mono}[Scale=0.8] \usepackage{unicode-math} \setmathfont{TeX Gyre Termes Math} \usepackage{microtype} |