/* ReadTheDocs theme overrides */
.wy-side-nav-search {
  background-color: #1a1b2c;
}

.wy-nav-top {
  background-color: #1a1b2c;
}