body {
margin: 1px 11px;
padding: 0px;
}

h1 {
padding: 6px 0px 4px;
background: #EEEEFF;
border-top: #0000AA 2px solid;
border-bottom: #0000AA 2px solid;
font-size: 200%;
font-weight: bold;
color: #333;
text-align: center;
margin: 7px 0px 0px;
letter-spacing: 0.3em;
}

dl {
margin-top: 2em;
padding: 0px;
}

dt {
font-size: 105%;
font-style: italic;
margin-top: 1em;
margin-bottom: -0.1em;
}

dd {
margin-left: 20px;
margin-top: 0.4em;
}

dd.group {
margin-top: 0em;
}

p.description {
margin: 2px 0px 0px;
font-size: 80%;
font-weight: bold;
}