.doco-list-group-item > a {
	font-weight: bold;
} 

.sub-menu {
	margin: 3px 0px 10px 10px;
}
    
#doco-content h3 {
	border-bottom: #ccc 3px solid;
	padding-bottom: 0.3em;
}

#region_1 .widget ul ul {
	list-style-type: none;
}

.toc-content li,
	#doco-top-toc li {
	padding: 3px 0px;
}

#doco-side-toc li {
	padding-left: 20px;
}

#doco-side-toc {
	padding-top: 10px;
}