.wy-side-nav-search {
  background-color: #C8102E;
}

.wy-side-nav-search > div.version {
  color: rgba(255, 255, 255, 0.5);
}

.wy-side-nav-search > a:hover {
  background: rgba(255, 255, 255, 0.2);
}

.wy-nav-side {
  background: #2D2926;
}

.wy-nav-top {
  background: #C8102E;
}

span.c1 {
  font-style: normal;
}

.wy-menu-vertical a {
    color: #d9d9d9;
}

.wy-menu-vertical li.toctree-l2 a, .wy-menu-vertical li.toctree-l3 a, .wy-menu-vertical li.toctree-l4 a {
    color: #404040;
}

/* override table width restrictions */
@media screen and (min-width: 767px) {

   .wy-table-responsive table td {
      /* !important prevents the common CSS stylesheets from overriding
         this as on RTD they are loaded after this stylesheet */
      white-space: normal !important;
   }

   .wy-table-responsive {
      overflow: visible !important;
   }
}

