# HG changeset patch
# User kevin@6e1638ff-ae45-0410-89bd-df963105f760
# Date 1212445974 0
# Node ID 15b13864b02ede6651003b7b1807ac43cc239deb
# Parent  c70ee2ea48b62e645070f13f2a37402c67c75ba9
commented out palatino font line

diff -r c70ee2ea48b6 -r 15b13864b02e text/article_preamble.tex
--- a/text/article_preamble.tex	Thu May 29 05:07:03 2008 +0000
+++ b/text/article_preamble.tex	Mon Jun 02 22:32:54 2008 +0000
@@ -14,7 +14,7 @@
 \usepackage{color}
 
 % This switches fonts to the Palatino family.
-\renewcommand{\familydefault}{ppl}
+%\renewcommand{\familydefault}{ppl}
 
 %%% futzing with margins following Dror (from Karoubi)
 %\marginparwidth 0pt%