ul.doc_list{
	margin: 0 0 0 0;
	text-indent: -1em;
}
ul.doc_list li{
	list-style-type: none;
}

li.doc_folder{
	font-weight: bold;
	margin-bottom: 0.5em;
}
ul.doc_list li.doc_folder a{
	text-decoration: none;
}
ul.doc_list li.doc_folder a:hover{
	text-decoration: underline;
}
ul.doc_list ul{
	margin-top: 0.5em;
}
h3 a{
	text-decoration: none;
}
h3 a:hover{
	text-decoration: underline;
}

.doc_headline {	
	font-family:arial;
	font-weight:bold;
	margin-bottom: 2em; margin-left: 1em;
	}