Kill all named fonts in our HTML stylesheets. Let the user's
preferences win. While here, switch to serif'ed fonts for the body.
Authored by: cmpilato 2008-08-08
Parent: [r3261]
Child: [r3263]
