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 |