1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/Classes/style.sty Tue Mar 03 11:00:51 2009 +0100
1.3 @@ -0,0 +1,43 @@
1.4 +
1.5 +%% toc
1.6 +\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
1.7 +\@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
1.8 +
1.9 +%% references
1.10 +\newcommand{\secref}[1]{\S\ref{#1}}
1.11 +\newcommand{\figref}[1]{figure~\ref{#1}}
1.12 +
1.13 +%% logical markup
1.14 +\newcommand{\strong}[1]{{\bfseries {#1}}}
1.15 +\newcommand{\qn}[1]{\emph{#1}}
1.16 +
1.17 +%% typographic conventions
1.18 +\newcommand{\qt}[1]{``{#1}''}
1.19 +
1.20 +%% verbatim text
1.21 +\newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
1.22 +
1.23 +%% quoted segments
1.24 +\makeatletter
1.25 +\isakeeptag{quote}
1.26 +\newenvironment{quotesegment}{\begin{quote}\isa@parindent\parindent\parindent0pt\isa@parskip\parskip\parskip0pt}{\end{quote}}
1.27 +\renewcommand{\isatagquote}{\begin{quotesegment}}
1.28 +\renewcommand{\endisatagquote}{\end{quotesegment}}
1.29 +\makeatother
1.30 +
1.31 +%% presentation
1.32 +\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
1.33 +
1.34 +\pagestyle{headings}
1.35 +\binperiod
1.36 +\underscoreoff
1.37 +
1.38 +\renewcommand{\isadigit}[1]{\isamath{#1}}
1.39 +
1.40 +\isabellestyle{it}
1.41 +
1.42 +
1.43 +%%% Local Variables:
1.44 +%%% mode: latex
1.45 +%%% TeX-master: "implementation"
1.46 +%%% End: