diff options
Diffstat (limited to 'data/headers')
-rw-r--r-- | data/headers/LaTeX.header | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/data/headers/LaTeX.header b/data/headers/LaTeX.header index f6f1d4e7c..d41a60276 100644 --- a/data/headers/LaTeX.header +++ b/data/headers/LaTeX.header @@ -4,5 +4,47 @@ \usepackage[utf8x]{inputenc} \usepackage{listings} \lstnewenvironment{code}{\lstset{language=Haskell,basicstyle=\small\ttfamily}}{} +\usepackage{fancyvrb} +\usepackage{enumerate} +\usepackage{array} +% This is needed because raggedright in table elements redefines \\: +\newcommand{\PreserveBackslash}[1]{\let\temp=\\#1\let\\=\temp} +\let\PBS=\PreserveBackslash +\usepackage[normalem]{ulem} +\newcommand{\textsubscr}[1]{\ensuremath{_{\scriptsize\textrm{#1}}}} +\usepackage[breaklinks=true]{hyperref} +\usepackage{url} +\usepackage{graphicx} + \setlength{\parindent}{0pt} \setlength{\parskip}{6pt plus 2pt minus 1pt} +\VerbatimFootnotes % allows verbatim text in footnotes +$if(numbersections)$ +$else$ +\setcounter{secnumdepth}{0} +$endif$ + +$if(title)$ +\title{$title$} +$endif$ +$if(authors)$ +\author{$authors$} +$endif$ +$if(date)$ +\date{$date$} +$endif$ + +\begin{document} +\maketitle + +$if(toc)$ +\tableofcontents +$endif$ +$if(before)$ +$before$ +$endif$ +$body$ +$if(after)$ +$after$ +$endif$ +\end{document} |