#documentation_table_of_contents {
  display: block;
  margin-left: 12px;
  margin-right: 12px;
}

#documentation_table_of_contents a {
  color: #000000;

  font-weight: bold;
}

#documentation_table_of_contents .title {
  margin-bottom: 2px;
  margin-bottom: 4px;
}

#documentation_table_of_contents a:hover {
  color: #0000ff;
}

#documentation_table_of_contents ul li, #documentation_table_of_contents ol li {
  margin-bottom: 2px;
}

#documentation_table_of_contents ul li a, #documentation_table_of_contents ol li a {
  color: #0000ff;

  font-weight: normal;
}

#documentation_table_of_contents ul li a:hover, #documentation_table_of_contents ol li a:hover {
  display: block;

  color: #0000ff;
}