@import "/_resources/_default/core.css";
@import "/_resources/_default/post.css";
@import "/_resources/_default/syntax.css";

div#Body-Content {
	margin-left: 12em;
	margin-right: 1em;
}

div#Body-Menu {
	position: absolute; top: 0;
	max-width: 11em;
	padding-left: 1em;
}

div#Body-Menu img {
	border: 0;
}

pre {
	margin: 2em;
	padding: 1em;
	background: #eee;
}

#contents {
	height: 20em;
}

.sidebar {
	padding-left: 2em;
	float: right;
	width: 40%;
}

td.column {
	vertical-align : top;
	width: 50%;
}

.Front-Page div.Post {
	max-height: 15em;
	overflow: auto;
}

.Authors {
	margin-bottom: 1em;
	margin-left: 3em;
	font-size: bolder;
}