/* TOC */

div#contents {
	padding-top: 10px;
	border: 1px solid #69D2E7;
	background: #edf8f7;
	width: 400px;
	margin-left: 10px;
	margin-top: 5px;
	text-align: center;
	font-weight: bold;
	font-size: 10pt;
}

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

/* Documentation only */

div.codesnippet {
	margin: 20px 20px;
	padding: 10px;
	border: 1px dashed #69D2E7;
	background: #edf8f7;
	font-family: Courier;
}

/* Citation */

span.citation {	
	padding-right: 10px;
}