blob: 6e031a98b61441ec5feec8830c46504e560b78cf (
plain) (
tree)
|
|
% Default Haddock style definitions. To use your own style, invoke
% Haddock with the option --latex-style=mystyle.
\usepackage{tabulary} % see below
% make hyperlinks in the PDF, and add an expandabale index
\usepackage[pdftex,bookmarks=true]{hyperref}
\newenvironment{haddocktitle}
{\begin{center}\bgroup\large\bfseries}
{\egroup\end{center}}
\newenvironment{haddockprologue}{\vspace{1in}}{}
\newcommand{\haddockmoduleheading}[1]{\chapter{\texttt{#1}}}
\newcommand{\haddockbeginheader}{\hrulefill}
\newcommand{\haddockendheader}{\noindent\hrulefill}
% a little gap before the ``Methods'' header
\newcommand{\haddockpremethods}{\vspace{2ex}}
% inserted before \\begin{verbatim}
\newcommand{\haddockverb}{\small}
% an identifier: add an index entry
\newcommand{\haddockid}[1]{\haddocktt{#1}\index{#1@\texttt{#1}}}
% The tabulary environment lets us have a column that takes up ``the
% rest of the space''. Unfortunately it doesn't allow
% the \end{tabulary} to be in the expansion of a macro, it must appear
% literally in the document text, so Haddock inserts
% the \end{tabulary} itself.
\newcommand{\haddockbeginconstrs}{\begin{tabulary}{\linewidth}{@{}llJ@{}}}
\newcommand{\haddockbeginargs}{\begin{tabulary}{\linewidth}{@{}llJ@{}}}
\newcommand{\haddocktt}[1]{{\small \texttt{#1}}}
\newcommand{\haddockdecltt}[1]{{\small\bfseries \texttt{#1}}}
\makeatletter
\newenvironment{haddockdesc}
{\list{}{\labelwidth\z@ \itemindent-\leftmargin
\let\makelabel\haddocklabel}}
{\endlist}
\newcommand*\haddocklabel[1]{\hspace\labelsep\haddockdecltt{#1}}
\makeatother
% after a declaration, start a new line for the documentation.
% Otherwise, the documentation starts right after the declaration,
% because we're using the list environment and the declaration is the
% ``label''. I tried making this newline part of the label, but
% couldn't get that to work reliably (the space seemed to stretch
% sometimes).
\newcommand{\haddockbegindoc}{\hfill\\[1ex]}
% spacing between paragraphs and no \parindent looks better
\parskip=10pt plus2pt minus2pt
\setlength{\parindent}{0cm}
|