changeset 46517 | 02afa20cf397 |
parent 43539 | fee67c099d03 |
child 48482 | 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}}