.side-nav ul {
  list-style: none;
}

.side-nav li.active {
  font-weight: bold;
}

@media (min-width: 1100px) {
  .side-nav {
    float: left;
    width: 240px;
  }

  .side-nav + .post-content {
    margin-left: 250px;
  }

  .side-nav + .post-content:after {
    content: "";
    clear: both;
  }
}

.side-nav ul {
  list-style: none;
}

.side-nav li.active {
  font-weight: bold;
}

@media (min-width: 1100px) {
  .side-nav {
    float: left;
    width: 240px;
    font-size: smaller;
  }

  .side-nav + .post-content {
    margin-left: 250px;
  }

  .side-nav + .post-content:after {
    content: "";
    clear: both;
  }
}

Decrease the font-size of the docs menu
Decrease the font-size of the docs menu

Signed-off-by: Sebastian Wicki <fdaf79ba4e257f691b04146aa5c00b9af5b81616@inf.ethz.ch>
