#leftColumn {
	width: 200px;
}
#bodyColumn {
	margin-left: 227px;
}
#navcolumn li.expanded {
	margin-top: 1em;
}
#navcolumn li.expanded ul {
	margin: 0 0 1em 0;
}


/*span.logo {
	font-weight: bold;
	font-size: 12px;
	font-family: monospace;
}*/
span.logo, span.code {
	font-family: monospace;
	color: #337D53; /*#487358;*/
}
pre {
	margin: 1em 0 1em 5em;
	padding: 0.5em 1em;
	background-color: #DDEBE1; /*#DBEBE0;*/ /*#D1E1D6;*/
	color: #294139;
}
pre .comment {
	color: #7A9DB4; /*#82A7C0;*/
	font-style: italic;
}

#contentBox li {
	margin: 0.5em;
}