diff dottes.tex.footer @ 194:af1d1009305f

Use Havoc font for the title. Also change the general font size to 12pt. I think it's a bit nicer.
author Jim Hague <jim.hague@acm.org>
date Sat, 16 Feb 2013 02:03:12 +0000
parents e666306c5ab1
children
line wrap: on
line diff