body {
	font-family: arial;
}

#bannertop {
    font-size: 200%
}

#body {
    position: absolute;
    margin-left: 10%;
    width: 80%;
    margin-top: 20px;
    margin-bottom: 20px;
    background-color: #FFE095;
    padding: 5px;
}

#selected {
    background-color: rgb(218,222,234);
}

#menu {
    text-align: right;
    position: absolute;
    margin-top: 100px;
    margin-left: 10px;
    width: 115px;
    padding-right: 10px;
}

a {
    text-decoration: none
}

a:hover {
    text-decoration: underline
}

hr {
}

h2 {
    margin-top: 0px;
    margin-bottom: 10px;
}

p {
    margin-left: 10px;
    margin-top: 5px;
    margin-bottom: 10px;
}

.foo {
	font-family: courier;
}