equal
deleted
inserted
replaced
|
1 |
|
2 %% toc |
|
3 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1} |
|
4 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}} |
|
5 |
|
6 %% paragraphs |
|
7 \setlength{\parindent}{1em} |
|
8 |
|
9 %% references |
|
10 \newcommand{\secref}[1]{\S\ref{#1}} |
|
11 \newcommand{\figref}[1]{figure~\ref{#1}} |
|
12 |
|
13 %% logical markup |
|
14 \newcommand{\strong}[1]{{\bfseries {#1}}} |
|
15 \newcommand{\qn}[1]{\emph{#1}} |
|
16 |
|
17 %% typographic conventions |
|
18 \newcommand{\qt}[1]{``{#1}''} |
|
19 \newcommand{\ditem}[1]{\item[\isastyletext #1]} |
|
20 |
|
21 %% quote environment |
|
22 \isakeeptag{quote} |
|
23 \renewenvironment{quote} |
|
24 {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax} |
|
25 {\endlist} |
|
26 \renewcommand{\isatagquote}{\begin{quote}} |
|
27 \renewcommand{\endisatagquote}{\end{quote}} |
|
28 \newcommand{\quotebreak}{\\[1.2ex]} |
|
29 |
|
30 %% typewriter text |
|
31 \newenvironment{typewriter}{\renewcommand{\isastyletext}{}% |
|
32 \renewcommand{\isadigit}[1]{{##1}}% |
|
33 \parindent0pt% |
|
34 \makeatletter\isa@parindent0pt\makeatother% |
|
35 \isabellestyle{tt}\isastyle% |
|
36 \fontsize{9pt}{9pt}\selectfont}{} |
|
37 |
|
38 \isakeeptag{quotetypewriter} |
|
39 \renewcommand{\isatagquotetypewriter}{\begin{quote}\begin{typewriter}} |
|
40 \renewcommand{\endisatagquotetypewriter}{\end{typewriter}\end{quote}} |
|
41 |
|
42 %% presentation |
|
43 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} |
|
44 |
|
45 %% character detail |
|
46 \renewcommand{\isadigit}[1]{\isamath{#1}} |
|
47 \binperiod |
|
48 \underscoreoff |
|
49 |
|
50 %% format |
|
51 \pagestyle{headings} |
|
52 \isabellestyle{it} |
|
53 |
|
54 |
|
55 %%% Local Variables: |
|
56 %%% mode: latex |
|
57 %%% TeX-master: "implementation" |
|
58 %%% End: |