equal
deleted
inserted
replaced
14 \newcommand{\strong}[1]{{\bfseries {#1}}} |
14 \newcommand{\strong}[1]{{\bfseries {#1}}} |
15 \newcommand{\qn}[1]{\emph{#1}} |
15 \newcommand{\qn}[1]{\emph{#1}} |
16 |
16 |
17 %% typographic conventions |
17 %% typographic conventions |
18 \newcommand{\qt}[1]{``{#1}''} |
18 \newcommand{\qt}[1]{``{#1}''} |
19 |
|
20 %% verbatim text |
|
21 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}} |
|
22 |
19 |
23 %% quote environment |
20 %% quote environment |
24 \isakeeptag{quote} |
21 \isakeeptag{quote} |
25 \renewenvironment{quote} |
22 \renewenvironment{quote} |
26 {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax} |
23 {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax} |