diff -r 21361b6189a6 -r 0b95a13ed90a doc-src/System/system.tex
--- a/doc-src/System/system.tex	Sat Jul 28 15:21:49 2012 +0200
+++ b/doc-src/System/system.tex	Sat Jul 28 18:20:47 2012 +0200
@@ -13,7 +13,7 @@
 
 \isadroptag{theory}
 
-\isabellestyle{it}
+\isabellestyle{literal}
 
 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}