8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
1 |
%auto-ignore
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
2 |
%this ensures the arxiv doesn't try to start TeXing here.
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
3 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
4 |
\input{\pathtotrunk preamble.tex}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
5 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
6 |
\usepackage{breakurl}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
7 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
8 |
\ifpdf
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
9 |
\usepackage[pdftex]{graphicx}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
10 |
\else
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
11 |
\usepackage[dvips]{graphicx}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
12 |
\fi
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
13 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
14 |
\usepackage{color}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
15 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
16 |
% This switches fonts to the Palatino family.
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
17 |
\renewcommand{\familydefault}{ppl}
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
18 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
19 |
%%% futzing with margins following Dror (from Karoubi)
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
20 |
%\marginparwidth 0pt%
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
21 |
%\marginparsep 0pt
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
22 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
23 |
\textwidth 5.5in%
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
24 |
\textheight 9.0in%
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
25 |
\oddsidemargin 12pt%
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
26 |
\evensidemargin 12pt
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
27 |
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
28 |
\topmargin -.6in%
|
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
29 |
\headsep .5in
|