src/Doc/Corec/document/style.sty
author blanchet
Tue Mar 29 09:45:54 2016 +0200 (2016-03-29)
changeset 62739 628c97d39627
permissions -rw-r--r--
added sketchy 'corec' documentation
     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 %% presentation
    31 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    32 
    33 %% character detail
    34 \renewcommand{\isadigit}[1]{\isamath{#1}}
    35 \binperiod
    36 \underscoreoff
    37 
    38 %% format
    39 \pagestyle{headings}
    40 \isabellestyle{it}
    41 
    42 
    43 %%% Local Variables: 
    44 %%% mode: latex
    45 %%% TeX-master: "implementation"
    46 %%% End: