body{
	font-family: monospace;
	text-align: justify;
	line-height: 150%;
}

p, code{
	margin: 10px 20px;
}

code{
	display: block;
	padding: 5px;
	border: 1px dashed #cccccc;
	background-color: #eeeeee;
	white-space: pre-line;
}

ul{
	list-style: none;
}

a.download{
	display: block;
	float: right;
	margin-right: 20px;
	height: 24px;
	width: 24px;
	background-image: url("/download.png");
}

#menu, #tools{
	position: absolute;
	top: 50px;
	bottom: 10px;
	overflow: auto;
}

#menu{
	left: 0;
	width: 250px;
	border-right: 1px solid #cccccc;
}

#tools{
	left: 270px;
	right: 0;
}

#menu > ul{
	padding-left: 5px;
}