.doc-text {
	margin: 20px 0;
}

.doc-labels .label {
	font-size: 90%;
}

.doc_subtree,
.doc_subtree li {
	display: block;
	margin: 0;
	padding: 0;
}

.doc_subtree .doc_subtree {
	margin-left: 20px;
}

.doc_subtree .doc_subtree a {
	display: block;
	padding-left: 20px;
}

.tree_toggle {
	display: inline-block;
	width: 15px;
	background-position: left center;
	background-repeat: no-repeat;
	cursor: pointer;
	float: left;
}

.tree_toggle-open {
	background-image: url(../gfx/tree_toggle-open.gif);
}

.tree_toggle-close {
	background-image: url(../gfx/tree_toggle-close.gif);
}

.extras {
	display: block;
	padding-left: 20px;
}