body {
	margin:10px 10px 0px 10px;
	padding:0px;
	background-color:white;
	height: 100%;
}

.bottom {
	display: table-row;
	width: 100%;
}

.logobar {
	border-bottom: 1px solid #000;
	width: 100%;
	height: 50px;
}

.menubar {
	display: table-cell;
	padding-top: 10px;
	padding-left: 4px;
	padding-right: 4px;
	width: 50px;
	height: 100%;
}

.content {
	display: table-cell;
	border-left: 1px solid #000;
	padding-top: 10px;
	padding-left: 10px;
	padding-bottom: 100px;
}

.menubar a {
	font-family: arial;
	font-size: 70%;
	text-decoration: none;
	padding: 1px;
	color: #000;
	border: 1px solid #000;
}

.docutils dd {
	padding: 10px;
}

.docutils .literal {
	background: #ccc;
	border: 1px solid #000;
	padding: 2px;
}


#content {
	padding-left: 10px;
	padding-right: 10px;
	margin-left: 10px;
	margin-right: 10px;
	border-left: 1px solid #000;
	border-right: 1px solid #000;
}