| changeset 14 | 15b13864b02e |
| parent 8 | 15e6335ff1d4 |
| child 37 | 2f677e283c26 |
| 13:c70ee2ea48b6 | 14:15b13864b02e |
|---|---|
12 \fi |
12 \fi |
13 |
13 |
14 \usepackage{color} |
14 \usepackage{color} |
15 |
15 |
16 % This switches fonts to the Palatino family. |
16 % This switches fonts to the Palatino family. |
17 \renewcommand{\familydefault}{ppl} |
17 %\renewcommand{\familydefault}{ppl} |
18 |
18 |
19 %%% futzing with margins following Dror (from Karoubi) |
19 %%% futzing with margins following Dror (from Karoubi) |
20 %\marginparwidth 0pt% |
20 %\marginparwidth 0pt% |
21 %\marginparsep 0pt |
21 %\marginparsep 0pt |
22 |
22 |