body {
	margin: 0px;
	padding: 0px;
}

#container {
	border: 4px solid white;
	margin: 24px auto;
	width: 640px;
}

#header {
	font-size: xx-large;
	font-weight: bold;
	border-bottom: 4px solid;
	padding: 4px;
}

#menu ul {
	border-bottom: 4px solid;
	height: 26px;
}

#left {
	float: left;
	width: 200px;
}
#toc, #updates {
	padding: 4px;
	margin-bottom: 8px;
}
#toc p, #updates div {
	margin-bottom: 8px;
	margin-top: 4px;
	font-weight: bold;
}

#toc ul, #updates ul {
	margin-top: 8px;
	margin-left: 18px;
}
#toc li, #updates li {
	margin: 6px 0px;
}

#content {
	padding: 8px;
	text-align: left;
}
#right {
	float: right;
}

#footer {
	clear: both;
	font-size: x-small;
	padding: 4px;
	height: 12px;
}