div.wy-menu.rst-pro {
  display: none !important;
}

div.highlight {
  background: #fff !important;
}