body {
    font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
    width: 80%;
    margin-left: 10%;
    margin-right: 10%;
    font-size: 0.8em;
}

table.risk {
    background-color: #E0E0E0;
}

.menu h1,
.menu h2 {
    margin-bottom: 0;
    border-bottom-width: 0;
    padding-bottom: 0;
}

.menu ul {
    margin-top: 0;
    border-top-width: 0;
    padding-top: 0;
}

.nav {
    float: right;
}

code {
	font-size: 1.25em;
}

pre.code {
    margin-top: 8pt;
    margin-bottom: 8pt;
    background-color: #FFE;
    white-space: pre;
    border-style: solid;
    border-width: 1pt;
    border-color: #999;
    font-size: 1.25em;
    color: #111;
    padding: 5px;
}

hr {
	color: #ccc;
	background-color: #ccc;
}

img {
	border: 0px;
}