body > div > nav > div > div.wy-side-nav-search {
  background-color: #e0e0e0;
}

body > div > nav > div > div.wy-side-nav-search > div.version {
  color: #757575;
}

.wy-side-nav-search input[type=text] {
  border-color: #bdbdbd;
}
