div#download {
	float: right;
}

div#download img {
	vertical-align: middle;
	padding-right: 5px;
}

div#download span.sep {
	font-weight: bold;
	font-size: 1.5em;
	color: #D90000;
}

div#toc {
	border: 1px dashed #D90000;
	background: #fff4f4;
	width: 250px;
	margin: 1em 0em;
	padding: 0.5em;
	text-align: center;
	font-weight: bold;
	-webkit-border-radius: 5px;
	-moz-border-radius: 5px;
	border-radius: 5px;
}

div#toc ul{
	list-style: none;
	margin: 10px 0;
	padding-left: 10px;
	text-align: left;
	font-weight: normal;
}

div.section {
	margin-top: 20px;
}

div.section div.title {
	font-size: 1.5em;
	font-weight: bold;
	color: #D90000;
}

div.section div.title a:hover {
	text-decoration: none;
	cursor: default;
}

img.figure {
	display: block;
	margin: 1em auto;
}

div.caption {
	text-align: center;
	margin: -0.5em auto 1em auto;
	font-weight: bold;
}

div.snippet {
	display: inline-block;
	margin: 1em;
	padding: 1em;
	border: 1px dashed #D90000;
	background: #fff4f4;
	font-family: Courier;
	-webkit-border-radius: 5px;
	-moz-border-radius: 5px;
	border-radius: 5px;
}