/*
body {
  --themecolor: darkred;
}

.wy-side-nav-search {
  background-color: var(--themecolor);
}
.wy-nav-top {
  background-color: var(--themecolor);
}
*/