div.body h1 {
    text-align: center;
    text-shadow: #780000 0px 0px 5px;
    border-color: #780000;
    border-style: solid;
    border-width: 1px;
    margin: 0px;
    padding: 4px 4px 6px 4px;
    background-color: #909090;
    color: white;
}
div.body div h2 {
    border-color: #780000;
    color: #780000;
    margin: 0px -4px 4px -4px;
    border-style: solid;
    border-width: 0 0 1px 0;
    font-size: medium;
    font-weight: bold;
    background-color: #c0c0c0;
    padding: 1px 4px 1px 4px;
}
a[name] {
    color: #780000;
    font-size: medium;
    font-weight: bold;
}
div.body div {
    border-color: #780000;
    border-style: solid;
    border-width: 1px 1px 1px 1px;
    padding: 0px 4px 4px 4px;
    margin: 4px 0px 0px 0px;
}
div.body div p {
    margin-top: 2px;
    margin-left: 30px;
    margin-right: 30px;
}
div.body div pre {
    background-color: #f0f0f0;
    padding: 4px;
    margin-left: 2em;
    margin-right: 2em;
}