1.1 --- a/src/Doc/Sledgehammer/document/root.tex	Mon Feb 03 17:18:38 2014 +0100
     1.2 +++ b/src/Doc/Sledgehammer/document/root.tex	Mon Feb 03 17:55:50 2014 +0100
     1.3 @@ -42,6 +42,8 @@
     1.4  
     1.5  \urlstyle{tt}
     1.6  
     1.7 +\renewcommand\_{\hbox{\textunderscore\kern-.05ex}}
     1.8 +
     1.9  \begin{document}
    1.10  
    1.11  %%% TYPESETTING