src/Doc/Datatypes/document/style.sty
author wenzelm
Sat, 05 Apr 2014 15:03:40 +0200
changeset 56421 1ffd7eaa778b
parent 52792 3e651be14fcd
child 61410 f569907de061
permissions -rw-r--r--
updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
52792
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     1
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     2
%% toc
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     3
\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     4
\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     5
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     6
%% paragraphs
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     7
\setlength{\parindent}{1em}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     8
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
     9
%% references
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    10
\newcommand{\secref}[1]{\S\ref{#1}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    11
\newcommand{\figref}[1]{figure~\ref{#1}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    12
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    13
%% logical markup
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    14
\newcommand{\strong}[1]{{\bfseries {#1}}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    15
\newcommand{\qn}[1]{\emph{#1}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    16
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    17
%% typographic conventions
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    18
\newcommand{\qt}[1]{``{#1}''}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    19
\newcommand{\ditem}[1]{\item[\isastyletext #1]}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    20
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    21
%% quote environment
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    22
\isakeeptag{quote}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    23
\renewenvironment{quote}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    24
  {\list{}{\leftmargin2em\rightmargin0pt}\parindent0pt\parskip0pt\item\relax}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    25
  {\endlist}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    26
\renewcommand{\isatagquote}{\begin{quote}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    27
\renewcommand{\endisatagquote}{\end{quote}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    28
\newcommand{\quotebreak}{\\[1.2ex]}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    29
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    30
%% typewriter text
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    31
\newenvironment{typewriter}{\renewcommand{\isastyletext}{}%
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    32
\renewcommand{\isadigit}[1]{{##1}}%
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    33
\parindent0pt%
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    34
\makeatletter\isa@parindent0pt\makeatother%
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    35
\isabellestyle{tt}\isastyle%
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    36
\fontsize{9pt}{9pt}\selectfont}{}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    37
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    38
\isakeeptag{quotetypewriter}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    39
\renewcommand{\isatagquotetypewriter}{\begin{quote}\begin{typewriter}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    40
\renewcommand{\endisatagquotetypewriter}{\end{typewriter}\end{quote}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    41
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    42
%% presentation
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    43
\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    44
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    45
%% character detail
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    46
\renewcommand{\isadigit}[1]{\isamath{#1}}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    47
\binperiod
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    48
\underscoreoff
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    49
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    50
%% format
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    51
\pagestyle{headings}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    52
\isabellestyle{it}
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    53
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    54
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    55
%%% Local Variables: 
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    56
%%% mode: latex
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    57
%%% TeX-master: "implementation"
3e651be14fcd sketched documentation for new (co)datatype package
blanchet
parents:
diff changeset
    58
%%% End: