/* $Id: gh.css,v 1.21 2008/01/30 21:49:47 rl Exp $ */
body {
    background: white url(pics/bkportrt.gif);
    color: black;
    font-family: 'times new roman', times, serif;
    text-align: justify;
    margin: 1em
}
:link { text-decoration: none; color: #3300ee }
:visited { text-decoration: none; color: #990099 }
:link:hover { text-decoration: underline; color: #3300ee }
:visited:hover { text-decoration: underline; color: #990099 }
tt, code, pre {
    font-family: 'courier new', courier, monospace
}
table, hr {
    border-style: outset
}
.cap {
    font-variant: small-caps
}
.index > table {
    border-style: none
}