equal
deleted
inserted
replaced
1 |
1 |
2 %% toc |
2 %% toc |
3 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
3 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
4 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
4 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
|
5 |
|
6 %% paragraphs |
|
7 \setlength{\parindent}{1em} |
5 |
8 |
6 %% references |
9 %% references |
7 \newcommand{\secref}[1]{\S\ref{#1}} |
10 \newcommand{\secref}[1]{\S\ref{#1}} |
8 \newcommand{\figref}[1]{figure~\ref{#1}} |
11 \newcommand{\figref}[1]{figure~\ref{#1}} |
9 |
12 |
15 \newcommand{\qt}[1]{``{#1}''} |
18 \newcommand{\qt}[1]{``{#1}''} |
16 |
19 |
17 %% verbatim text |
20 %% verbatim text |
18 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}} |
21 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}} |
19 |
22 |
20 %% quoted segments |
23 %% quote environment |
21 \makeatletter |
|
22 \isakeeptag{quote} |
24 \isakeeptag{quote} |
23 \newenvironment{quotesegment}{\begin{quote}\isa@parindent\parindent\parindent0pt\isa@parskip\parskip\parskip0pt}{\end{quote}} |
25 \renewenvironment{quote} |
24 \renewcommand{\isatagquote}{\begin{quotesegment}} |
26 {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax} |
25 \renewcommand{\endisatagquote}{\end{quotesegment}} |
27 {\endlist} |
26 \makeatother |
28 \renewcommand{\isatagquote}{\begin{quote}} |
|
29 \renewcommand{\endisatagquote}{\end{quote}} |
|
30 \newcommand{\quotebreak}{\\[1.2ex]} |
27 |
31 |
28 %% presentation |
32 %% presentation |
29 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
33 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
30 |
34 |
31 \pagestyle{headings} |
35 %% character detail |
|
36 \renewcommand{\isadigit}[1]{\isamath{#1}} |
32 \binperiod |
37 \binperiod |
33 \underscoreoff |
38 \underscoreoff |
34 |
39 |
35 \renewcommand{\isadigit}[1]{\isamath{#1}} |
40 %% format |
36 |
41 \pagestyle{headings} |
37 \isabellestyle{it} |
42 \isabellestyle{it} |
38 |
43 |
39 |
44 |
40 %%% Local Variables: |
45 %%% Local Variables: |
41 %%% mode: latex |
46 %%% mode: latex |