.autotoc{border:1px solid #aaa;background-color:#f3f3f3;padding:.5em;float:left}.autotoc>span{font-weight:700}.autotoc>span+span{margin-left:.3em;font-weight:400}.autotoc ul{padding:0;margin:0 0 0 .9em}.autotoc>ul{margin:0}.autotoc li{margin:0;list-style:none!important}.autotoc a{text-decoration:none}.autotoc a:hover{text-decoration:underline}