body    { color: #333; font-size: 12px; font-family: skia, verdana, arial, sans-serif; line-height: 14px }
.homehilite { font-size: 11px }
p   { color: #333; font-size: 12px; font-family: skia, verdana, arial, sans-serif; line-height: 14px }
td   { color: #333; font-size: 12px; font-family: skia, verdana, arial, sans-serif; line-height: 14px }
a:link { color: #600 }
a:visited { color: #333 }
a:hover { color: #600 }
.emphasis  { font-family: Georgia, "Times New Roman", Times, serif; font-weight: bold }
.emphasisred  { color: #600; font-family: Georgia, "Times New Roman", Times, serif; font-weight: bold }
.graysub  { color: #333; font-size: 13px; font-family: skia, verdana, arial, sans-serif; font-weight: bold }
.pagenumbers  { font-size: 16px; font-family: skia, verdana, arial, sans-serif }
.redsub      { color: #600; font-size: 18px; font-family: skia, Georgia, verdana, arial, sans-serif; line-height: 22px }
.redtitle  { color: #600; font-size: 30px; font-family: skia, Georgia, verdana, arial, sans-serif; line-height: 38px }
.intro { color: #600; font-size: 13px }
.home { color: #333; font-size: 14px; font-family: skia, verdana, arial, sans-serif; line-height: 18px }