diff options
| -rw-r--r-- | tests/writer.latex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/writer.latex b/tests/writer.latex index 5428e9ad7..b1b4bbffb 100644 --- a/tests/writer.latex +++ b/tests/writer.latex @@ -19,7 +19,10 @@ % use upquote if available, for straight quotes in verbatim environments \IfFileExists{upquote.sty}{\usepackage{upquote}}{} % use microtype if available -\IfFileExists{microtype.sty}{\usepackage{microtype}}{} +\IfFileExists{microtype.sty}{% +\usepackage{microtype} +\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts +}{} \usepackage{fancyvrb} \usepackage{graphicx} \makeatletter |