diff -r 46e77dff3970 -r 6d5d618b302c lib/Tools/mkdir
--- a/lib/Tools/mkdir	Mon Sep 18 15:34:07 2000 +0200
+++ b/lib/Tools/mkdir	Mon Sep 18 17:56:44 2000 +0200
@@ -193,8 +193,9 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
-%\urlstyle{rm}
-%\isabellestyle{it}
+%for best-style documents ...
+\urlstyle{rm}
+\isabellestyle{it}
 
 \begin{document}
 \input{session}