equal
deleted
inserted
replaced
30 %% global style options |
30 %% global style options |
31 \pagestyle{headings} |
31 \pagestyle{headings} |
32 \sloppy |
32 \sloppy |
33 |
33 |
34 \isabellestyle{it} |
34 \isabellestyle{it} |
|
35 \newcommand{\isasymdash}{\mbox{-}} |
|
36 |
35 \underscoreon |
37 \underscoreon |
36 \renewcommand{\isacharunderscore}{\_} |
38 \newcommand{\setupunderscore}{\def\isacharunderscore{\_}\def\isacharunderscorekeyword{\_}} |
37 \renewcommand{\isacharunderscorekeyword}{\_} |
39 \setupunderscore |
38 \newcommand{\isasymdash}{\mbox{-}} |
40 |
|
41 \makeatletter |
|
42 \def\rail@termfont{\isabellestyle{tt}\setupunderscore} |
|
43 \def\rail@nontfont{\isabellestyle{it}\setupunderscore} |
|
44 \def\rail@namefont{\isabellestyle{it}\setupunderscore} |
|
45 \makeatother |