summaryrefslogtreecommitdiff
path: root/manual/preamble.tex
diff options
context:
space:
mode:
Diffstat (limited to 'manual/preamble.tex')
-rw-r--r--manual/preamble.tex9
1 files changed, 9 insertions, 0 deletions
diff --git a/manual/preamble.tex b/manual/preamble.tex
index 05507e76fc..6008eef7c2 100644
--- a/manual/preamble.tex
+++ b/manual/preamble.tex
@@ -3,6 +3,12 @@
3\usepackage{palatino} 3\usepackage{palatino}
4%\renewcommand{\familydefault}{\sfdefault} 4%\renewcommand{\familydefault}{\sfdefault}
5 5
6%Comment this out at release
7\usepackage{pdfdraftcopy}
8\draftstring{DRAFT VERSION}
9%\draftangle{45}
10
11
6\usepackage{float} 12\usepackage{float}
7\floatstyle{ruled} 13\floatstyle{ruled}
8 14
@@ -49,9 +55,12 @@
49\renewcommand{\footrulewidth}{\iffloatpage{0pt}{0.4pt}} 55\renewcommand{\footrulewidth}{\iffloatpage{0pt}{0.4pt}}
50\setlength{\headheight}{18.5pt} 56\setlength{\headheight}{18.5pt}
51\newcounter{example}[chapter] 57\newcounter{example}[chapter]
58
52\newenvironment{example} 59\newenvironment{example}
53 {\stepcounter{example}\paragraph{Example \theexample:}} 60 {\stepcounter{example}\paragraph{Example \theexample:}}
54 {\hfill$\Box$ 61 {\hfill$\Box$
55 62
56 \bigskip 63 \bigskip
57 \noindent} 64 \noindent}
65
66