.autotoc {
	border: 1px solid #AAAAAA;
	background-color: #F3F3F3;
	padding: 0.5em;
	float: left;
	margin:0 30px 10px 0;
}
.autotoc > span { font-weight: bold; }
.autotoc > span + span {
	margin-left: 0.3em;
	font-weight: normal;
}
.autotoc ul {
	 padding: 0;
	margin: 0 0 0 1.2em;
}
.autotoc > ul { margin: 0; list-style:none;}
.autotoc li {
	 margin: 0;
	/*list-style: none !important;*/
}
.autotoc a { text-decoration: none; border-bottom: none; }
.autotoc a:hover { text-decoration: none; }