a:hover { color: #669966 }
div.judi li { margin-left: 2em; margin-right: 2em }
div.judi p  { margin-left: 2em; margin-right: 2em; text-indent: 1em }
h1
{
  color: #006633;
  font-family: CaslonAntique,Caslon Antique,SERIF;
  font-size: 32
}
h1.embiggened
{
  font-size: 48
}
h2 { color: #006633; font-family: CaslonAntique,Caslon Antique,SERIF }
p.disclaimer { margin-left: 2em; margin-right: 2em }
p.judi { margin-left: 2em; margin-right: 2em; text-indent: 1em }
pre,tt { font-family: Free Mono,MONOSPACE }

.ss { font-family: Bitstream Vera Sans,SANS-SERIF }