html {
    background: url(bg.jpg) repeat;
    background-color: #E0E8F0;
    font-family: Verdana, Arial, sans-serif;
    padding: 0; margin: 0;
}

body  {
    margin:0; padding: 0; margin-left: 200px; padding-left: 20px;
   padding-right: 10px; padding-bottom: 10px;
    font-size:80%;
}

p {
    margin-top: 0.5em;
    margin-bottom: 0;
}

h1 {
   font-family: times, serif;
   font-weight: 100;
   color: #A04040;
   font-size: 300%;
   float: left;
   margin: 2px; margin-right: 0.5em;
}

h2 {
   font-family: times, serif;
   font-weight: 100;
   font-style: italic;
   color: #A04040;
   font-size: 170%;
   margin-bottom: 0;
}

h3 {
   font-family: times, serif;
   font-weight: 400;
   font-style: normal;
   color: #803030;
   font-size: 140%;
   margin-bottom: 0;
}

em {
    font-size: 110%;
    color: #A04040;
    font-weight: bold;
}

kbd {
   font-size: 120%;
   font-family: courier, monospace;
   font-style: normal;
}

.code {
    white-space: pre;
    font-family: monospace;
    font-size: 120%;
}

pre {
   font-size: 100%;
}

.aside {
    font-style: italic; 
    font-size: 90%; 
    float: right; 
    width: 40%; 
    margin-left: 5px; 
    color: maroon;
}

.menu {
}

ul.menu, .menu ul {
   list-style-type: none;
   position: relative;
   margin-left: 0;
   padding-left: 2px;
}


.menu ul {
   border: thin black solid;
   background-color: white;
   width: 100%;
    display: none;
    z-index: 100;
    position: absolute;
    left: 3em;
}

.menu A {
    color: black;
    text-decoration: none;
}

.menu li:hover>ul {
    display: block;
}