/* Menu lateral com barra de rolagem visível.
   O tema sphinx_rtd_theme esconde a barra: a área de rolagem tem 320px dentro de
   um menu de 300px com overflow oculto. Com o índice maior, os itens do fim do
   menu ficavam sem indicação de que havia mais conteúdo. */
.wy-side-scroll {
  width: auto;
  overflow-y: auto;
  scrollbar-width: thin;
  scrollbar-color: #808080 #343131;
}
.wy-side-nav-search {
  width: auto;
}
.wy-side-scroll::-webkit-scrollbar {
  width: 8px;
}
.wy-side-scroll::-webkit-scrollbar-track {
  background: #343131;
}
.wy-side-scroll::-webkit-scrollbar-thumb {
  background: #808080;
  border-radius: 4px;
}