body { margin: 1em; font-family: Georgia, Heveltica, Arial, sans-serif; }
h1 { font-family: Tahoma, Heveltica, Arial, sans-serif; }
h2, h3, h4, h5, h6 { font-family: Heveltica, Arial, sans-serif; }
pre { margin-left: 1em; }
dt { font-weight: bold; }