.autotoc
{
  border: 1px solid #AAAAAA;
weight:50%;

}

.autotoc > span
{
  font-weight: bold;
}

.autotoc > span + span
{
  margin-left: 0.3em;
  font-weight: normal;
}

.autotoc ul
{
  padding: 0;
  margin: 0 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;
}