h1,h2,h3,h4,h5,h6{    
    font-weight: normal;
    font-family: "Times", serif;
    font-variant: small-caps;
    margin: 2ex 0 1ex;
/*    color:          #007046; */
    /* color:          #000000; */
}

h2 {
    /* font-size: 135%; */
}

a img {
    border: none;
}

dt {
    margin-top: 1ex;
}

dd {
    margin-bottom: 1ex;
}

blockquote {
    margin-left: 1em;
    padding-left: 1em;
    margin-right: 0;
    padding-right: 0;
    border-left: 2px inset gray;
}