* { font-family: sans-serif; }
body {
	margin: 15px 15px 15px 15px;
	background: #EEF;
}
h1 {
	text-align: left;
	background: #CCF;
}
.navbar {
	text-align: center;
	background: #CCF;
	font-size: large;
	padding: 10px;
}
.navitem {
	border-left: 1px solid #000;
	border-top: 1px solid #000;
	border-right: 1px solid #EEE;
	border-bottom: 1px solid #EEE;
}
ul.outer {
    list-style: square;
    text-weight: bold;
}
ul.inner {
    list-style: circle;
    text-weight: normal;
}
pre {
    margin-left: 10px;
    font-family: monospace;
}
tt {
    font-family: monospace;
}