equal
deleted
inserted
replaced
28 \newcommand{\quotebreak}{\\[1.2ex]} |
28 \newcommand{\quotebreak}{\\[1.2ex]} |
29 |
29 |
30 %% typewriter text |
30 %% typewriter text |
31 \newenvironment{typewriter}{\renewcommand{\isadigit}[1]{{##1}}% |
31 \newenvironment{typewriter}{\renewcommand{\isadigit}[1]{{##1}}% |
32 \parindent0pt% |
32 \parindent0pt% |
33 \fontsize{9pt}{0pt}% |
33 \isabellestyle{tt}\isastyle% |
34 \isabellestyle{tt}\isastyle}{} |
34 \fontsize{9pt}{9pt}\selectfont}{} |
35 |
35 |
36 %% presentation |
36 %% presentation |
37 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
37 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
38 |
38 |
39 %% character detail |
39 %% character detail |