body {
  --themecolor: #111;
  --menucolor: black;
  /* --logocolor: #555; */
}

.highlight {
  background: rgb(210, 210, 255);
}

.rst-content .linenodiv pre, 
.rst-content div[class^="highlight"] pre, 
.rst-content pre.literal-block {
  font-size: 14px;
}

.rst-content code, .rst-content tt, code {
	font-size: 85%;
}

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

.wy-menu {
  background-color: var(--menucolor);
}

.wy-nav-side {
  background-color: var(--menucolor);
}

/* .wy-side-nav-search .wy-dropdown > a img.logo,
.wy-side-nav-search > a img.logo {
  background-color: var(--logocolor);
} */