doc-src/Classes/style.sty
author bulwahn
Fri Mar 18 18:19:42 2011 +0100 (2011-03-18)
changeset 42020 2da02764d523
parent 39744 4e586b734fac
permissions -rw-r--r--
translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
     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: