div.version {
  color: white;
}

div.version:before {
  content: "Version";
}

.wy-nav-side {
  background-color: #1d6594;
}
.wy-menu-vertical a:hover {
  color: #ffffff;
  background-color: #195c88;
}

div.highlight pre {
    font-size: .8em;
}

span.pre {
    border: none;
    color: #404040;
}

.section .wy-table-responsive table td,
.section .wy-table-responsive table th {
    white-space: inherit;
}

.section .wy-table-responsive table td {
    vertical-align: top;
}