#container {
	position:relative;
	width:100%;
	border-top:1px solid gray;
}
#menu {
	position:absolute;
	width:220px;
	border-right:1px solid gray;
}
#body {
	margin-left:220px;
	border-left: 1px solid gray;
	padding-left: 1em;
	font-size: 90%;
}
#body pre {
	font-size:140%;
	border:1px solid silver;
	padding:1ex;
}
h2 {
	background-color:#ddd;
	margin:1ex 0 1ex 0;
	padding:0.5ex 0 0.5ex 1ex;
}
h3 {
	margin:1em 0 0 0;
}
h4 {
	margin:0 0 0 1em;
	padding:0;
}
p {
	margin:0.5ex 0 0 0;
	text-indent:0em;
}
.indent {
	margin: 0 0 0 1em;
}