diff options
Diffstat (limited to 'tests/lhs-test.latex')
| -rw-r--r-- | tests/lhs-test.latex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/lhs-test.latex b/tests/lhs-test.latex index 6600608fe..6f2fdfb77 100644 --- a/tests/lhs-test.latex +++ b/tests/lhs-test.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{color} \usepackage{fancyvrb} \newcommand{\VerbBar}{|} |