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

#left {
	width: 60%;
	float: left;
	margin-bottom: 10px;
}

#right {
	float: right;
}

pre {
	background-color: #dddddd;
	padding: 0.3em;
}