@@ -19,7 +19,10 @@
1919% use upquote if available, for straight quotes in verbatim environments
2020\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
2121% use microtype if available
22−\IfFileExists{microtype.sty}{\usepackage{microtype}}{}
22+\IfFileExists{microtype.sty}{%
23+\usepackage{microtype}
24+\UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
25+}{}
2326\usepackage{fancyvrb}
2427\usepackage{graphicx}
2528\makeatletter