doc-src/IsarRef/style.sty
changeset 45646 02afa20cf397
parent 42666 fee67c099d03
child 47586 3b89d59a944b
     1.1 --- a/doc-src/IsarRef/style.sty	Sun Nov 27 12:52:52 2011 +0100
     1.2 +++ b/doc-src/IsarRef/style.sty	Sun Nov 27 13:12:42 2011 +0100
     1.3 @@ -36,8 +36,8 @@
     1.4  
     1.5  \parindent 0pt\parskip 0.5ex
     1.6  
     1.7 -\isabellestyle{itunderscore}
     1.8 +\isabellestyle{literal}
     1.9  
    1.10  \railtermfont{\isabellestyle{tt}}
    1.11 -\railnontermfont{\isabellestyle{itunderscore}}
    1.12 -\railnamefont{\isabellestyle{itunderscore}}
    1.13 +\railnontermfont{\isabellestyle{literal}}
    1.14 +\railnamefont{\isabellestyle{literal}}