/* Subtle polish on top of the RTD theme */
.wy-side-nav-search {
  background-color: #0f766e;
}

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

.wy-nav-top {
  background-color: #0f766e;
}

.wy-menu-vertical a:hover {
  background-color: #134e4a;
}

.rst-content code.literal {
  color: #0f766e;
}

.rst-content .admonition-title {
  font-weight: 600;
}