img.docs {
	border:1px solid #6A7175;
}

a.anchor {
	color:#6A7175;
	
}

a.anchor:hover {
	text-decoration:none; 
}

.toc a {
	margin-top:10px;
	padding:5px;
	display:block;
	background: #f5f7f7;
	font-weight:normal;
}

.toc a:hover {
	text-decoration:none; 
	background: #E1E5E6;
}

.source {
	padding:5px;
	font-family:Courier New; 
	background: #DCF1DA;
	color:#6A7175;
}

.example {
	padding:5px;
	font-family:Courier New; 
	border:1px solid #E1E5E6;
}