div.menu {
padding: 1em;
margin-right: 1em;
float: left;
width: 20%;
border: solid;
background-color: gray;
}

div.content {
width: 75%;
float: right;
}

dl {
background-color: red;
color: white;
}

body { background:#faf5ff; margin:0pt; font-family:Arial,Helvetica,sans-serif; }
a:link { text-decoration:none; }
a:visited { text-decoration:none; }
a:hover { color:#222266; }
.sitenav { background:#e1e1e1; }
.pagenav { font-size:small; }
.index { line-height: 150%; }
.sitenav { background:#e1e1e1; }
.navitem { font-size: small; }
.horizontal-line { font-size: small; background-color : #c1c1c1; height : 0px; }
