diff options
| -rw-r--r-- | default.latex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.latex b/default.latex index ca4309275..c188d49b2 100644 --- a/default.latex +++ b/default.latex @@ -27,7 +27,7 @@ $if(sansfont)$ \setsansfont{$sansfont$} $endif$ $if(monofont)$ - \setmonofont{$monofont$} + \setmonofont[Mapping=tex-ansi]{$monofont$} $endif$ $if(mathfont)$ \setmathfont(Digits,Latin,Greek){$mathfont$} |