div.table-of-contents {
	float: right;
	margin: 0 0 20px;
	padding: 9px;
	background: white;
	border: 1px solid #D3D7CF;
	border-color: rgba(0, 0, 0, 0.15);
	-moz-border-radius: 5px;
	-webkit-border-radius: 5px;
	border-radius: 5px;
	-moz-box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
	-webkit-box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
	box-shadow: 0 1px 3px rgba(0, 0, 0, 0.1);
}

div.table-of-contents p {
	display: none;
}

div.table-of-contents ol {
	list-style: none;
	padding: 0;
	margin: 0;
}

div.table-of-contents li {
	padding-left: 2ex;
	margin: 0;
}
