#toc {
    left: auto;
    right: 1%;
    top: 5%;
    /* background: #494f5c; */
    width: 20%;
    height: 90%;
    overflow-y: auto;
    overflow-x: hidden;
    margin-right: -20px;
    padding-right:12px;
  }