body { background-color: #ffffff }
a { color: #662a00 }
a:visited {color: #666655 }
p.mirrors { text-align: center; font-variant: small-caps}
p.index { text-align: center; font-weight: bold }