body {
	background-color: #9b9;
	font-family: sans-serif;
	color: #405040;
}

h1 {
	text-align: center;
	border-bottom: 1px #ddd solid;
	font-family: serif;
}

.box {
	background-color: #eee;
	padding: 1em;
	border: 1px #ded solid;
	-moz-border-radius: 1em;
	border-radius: 1em;
	-webkit-border-radius: 1em;
}

div.bodyContent {
	margin-left: 15em;
	margin-right: 5em;
}

.menu {
	float: left;
	width: 10em;
}

.menu ul {
	list-style-type: none;
	padding-left: 1em;
}

a {
	text-decoration: none;
	color: #708070;
	padding: 0.1em;
}

a:hover {
	background-color: #d0d9d0;
}

.pastebin-textbox {
	width: 100%;
}

pre {
	text-wrap: normal;
}

table.andrew-table th, table.andrew-table td {
	vertical-align: top;
}

table.andrew-table ul {
	margin-top: 0;
}