/* css styles */
#TOC {
  background: url("logo.png");
  background-size: 80%;
  padding-top: 180px !important;
  background-repeat: no-repeat;
}