doc-src/Classes/style.sty
author boehmes
Tue, 07 Dec 2010 15:44:38 +0100
changeset 41064 0c447a17770a
parent 39744 4e586b734fac
permissions -rw-r--r--
updated SMT certificates
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
20946
75b56e51fade initial draft
haftmann
parents:
diff changeset
     1
75b56e51fade initial draft
haftmann
parents:
diff changeset
     2
%% toc
75b56e51fade initial draft
haftmann
parents:
diff changeset
     3
\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
75b56e51fade initial draft
haftmann
parents:
diff changeset
     4
\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
75b56e51fade initial draft
haftmann
parents:
diff changeset
     5
30227
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
     6
%% paragraphs
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
     7
\setlength{\parindent}{1em}
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
     8
20946
75b56e51fade initial draft
haftmann
parents:
diff changeset
     9
%% references
75b56e51fade initial draft
haftmann
parents:
diff changeset
    10
\newcommand{\secref}[1]{\S\ref{#1}}
75b56e51fade initial draft
haftmann
parents:
diff changeset
    11
\newcommand{\figref}[1]{figure~\ref{#1}}
75b56e51fade initial draft
haftmann
parents:
diff changeset
    12
29016
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    13
%% logical markup
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    14
\newcommand{\strong}[1]{{\bfseries {#1}}}
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    15
\newcommand{\qn}[1]{\emph{#1}}
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    16
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    17
%% typographic conventions
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    18
\newcommand{\qt}[1]{``{#1}''}
39665
f1622d126e31 more idiomatic handling of latex typewriter type setting
haftmann
parents: 39664
diff changeset
    19
\newcommand{\ditem}[1]{\item[\isastyletext #1]}
29016
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    20
30227
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    21
%% quote environment
29016
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    22
\isakeeptag{quote}
30227
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    23
\renewenvironment{quote}
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    24
  {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    25
  {\endlist}
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    26
\renewcommand{\isatagquote}{\begin{quote}}
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    27
\renewcommand{\endisatagquote}{\end{quote}}
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    28
\newcommand{\quotebreak}{\\[1.2ex]}
20946
75b56e51fade initial draft
haftmann
parents:
diff changeset
    29
39664
0afaf89ab591 more canonical type setting of type writer code examples
haftmann
parents: 39538
diff changeset
    30
%% typewriter text
39680
a0d49ed5a23a use typewriter tag instead of bare environment
haftmann
parents: 39676
diff changeset
    31
\newenvironment{typewriter}{\renewcommand{\isastyletext}{}%
a0d49ed5a23a use typewriter tag instead of bare environment
haftmann
parents: 39676
diff changeset
    32
\renewcommand{\isadigit}[1]{{##1}}%
39665
f1622d126e31 more idiomatic handling of latex typewriter type setting
haftmann
parents: 39664
diff changeset
    33
\parindent0pt%
39744
4e586b734fac combine quote and typewriter tag; typewriter considers isa@parindent
haftmann
parents: 39680
diff changeset
    34
\makeatletter\isa@parindent0pt\makeatother%
39676
810f98bd4eea fixed small font size fore typewriter text
haftmann
parents: 39665
diff changeset
    35
\isabellestyle{tt}\isastyle%
810f98bd4eea fixed small font size fore typewriter text
haftmann
parents: 39665
diff changeset
    36
\fontsize{9pt}{9pt}\selectfont}{}
39744
4e586b734fac combine quote and typewriter tag; typewriter considers isa@parindent
haftmann
parents: 39680
diff changeset
    37
4e586b734fac combine quote and typewriter tag; typewriter considers isa@parindent
haftmann
parents: 39680
diff changeset
    38
\isakeeptag{quotetypewriter}
4e586b734fac combine quote and typewriter tag; typewriter considers isa@parindent
haftmann
parents: 39680
diff changeset
    39
\renewcommand{\isatagquotetypewriter}{\begin{quote}\begin{typewriter}}
4e586b734fac combine quote and typewriter tag; typewriter considers isa@parindent
haftmann
parents: 39680
diff changeset
    40
\renewcommand{\endisatagquotetypewriter}{\end{typewriter}\end{quote}}
39664
0afaf89ab591 more canonical type setting of type writer code examples
haftmann
parents: 39538
diff changeset
    41
29016
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    42
%% presentation
20946
75b56e51fade initial draft
haftmann
parents:
diff changeset
    43
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
75b56e51fade initial draft
haftmann
parents:
diff changeset
    44
30227
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    45
%% character detail
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    46
\renewcommand{\isadigit}[1]{\isamath{#1}}
20946
75b56e51fade initial draft
haftmann
parents:
diff changeset
    47
\binperiod
29104
a5ac0bc68e2b \underscoreoff is now default
haftmann
parents: 29016
diff changeset
    48
\underscoreoff
20946
75b56e51fade initial draft
haftmann
parents:
diff changeset
    49
30227
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    50
%% format
853abb4853cc tuned manuals
haftmann
parents: 30226
diff changeset
    51
\pagestyle{headings}
29016
31110b40eae7 tuned LaTeX files
haftmann
parents: 26781
diff changeset
    52
\isabellestyle{it}
20946
75b56e51fade initial draft
haftmann
parents:
diff changeset
    53
75b56e51fade initial draft
haftmann
parents:
diff changeset
    54
75b56e51fade initial draft
haftmann
parents:
diff changeset
    55
%%% Local Variables: 
75b56e51fade initial draft
haftmann
parents:
diff changeset
    56
%%% mode: latex
75b56e51fade initial draft
haftmann
parents:
diff changeset
    57
%%% TeX-master: "implementation"
75b56e51fade initial draft
haftmann
parents:
diff changeset
    58
%%% End: