.toc-sidenav  > li > a {
    display: block;
    padding: 3px;
    position: relative;
    text-align: left;
    color: #333;
    font-family: "Noto Serif","Georgia", serif;
    font-size: 80%;
}

.toc-sidenav > li > a > h1 {
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 100%;
  font-weight: bold;
  font-family: "Noto Serif","Georgia", serif;
}

.toc-sidenav > li > a > h2 {
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 100%;
  padding-left: 1ex;
  font-family: "Noto Serif","Georgia", serif;
}

.toc-sidenav > li > a > h3 {
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 100%;
  padding-left: 2ex;
  font-family: "Noto Serif","Georgia", serif;
}

.toc-sidenav > li > a > h4 {
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 100%;
  padding-left: 3ex;
  font-family: "Noto Serif","Georgia", serif;
}

.toc-sidebar > a.back-to-top {
  /*font-family: "Noto Sans","Helvetica Neue",Helvetica,Arial,sans-serif;*/
  font-size: 60%;
  color: #333;
}

.toc-sidenav  > li.active {
    border-left: 2px solid;
    padding-left: 0px;
}

.toc-sidenav  > li {
    padding-left: 2px;
}

.toc-sidebar {
  width: 30ex;
  margin-top: 20px;
}