src/Doc/Typeclass_Hierarchy/document/style.sty
changeset 63026 9a9c2d846d4a
equal deleted inserted replaced
63025:92680537201f 63026:9a9c2d846d4a
       
     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 
       
    16 %% typographic conventions
       
    17 \newcommand{\qt}[1]{``{#1}''}
       
    18 \newcommand{\ditem}[1]{\item[\isastyletext #1]}
       
    19 
       
    20 %% quote environment
       
    21 \isakeeptag{quote}
       
    22 \renewenvironment{quote}
       
    23   {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
       
    24   {\endlist}
       
    25 \renewcommand{\isatagquote}{\begin{quote}}
       
    26 \renewcommand{\endisatagquote}{\end{quote}}
       
    27 \newcommand{\quotebreak}{\\[1.2ex]}
       
    28 
       
    29 %% presentation
       
    30 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
       
    31 
       
    32 %% character detail
       
    33 \renewcommand{\isadigit}[1]{\isamath{#1}}
       
    34 \binperiod
       
    35 
       
    36 %% format
       
    37 \pagestyle{headings}
       
    38 \isabellestyle{it}