src/HOL/Analysis/document/root.tex

--- a/src/HOL/Analysis/document/root.tex	Thu Dec 27 23:38:55 2018 +0100
+++ b/src/HOL/Analysis/document/root.tex	Fri Dec 28 10:29:59 2018 +0100
@@ -10,7 +10,7 @@
 \usepackage{pdfsetup}
 
 \urlstyle{rm}
-\isabellestyle{it}
+\isabellestyle{literalunderscore}
 \pagestyle{myheadings}
 
 \begin{document}
@@ -26,7 +26,7 @@
 
 \newpage
 
-\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
+\renewcommand{\setisabellecontext}[1]{\markright{#1.thy}}
 
 \parindent 0pt\parskip 0.5ex
 \input{session}