/* hide redundant page title */
#is-revision #block-pagetitle {
  display: none;
}

#is-revision #section-menu-placeholder {
  border-radius: 10px;
  background-color: var(--gray-dark);
  color: var(--white);
  padding: 10px;
}

#is-revision #section-menu-placeholder h6 {
  text-align: center;
}

#is-revision #section-menu-placeholder ul,
#is-revision #section-menu-placeholder ol
{
  padding-left: 16px;
}

#is-revision #section-menu-placeholder p,
#is-revision #section-menu-placeholder li
{
  font-size: 14px;
}

#is-revision #section-menu-placeholder li
{
  padding-bottom: 12px;
}