/* Best-result highlighting in tables */
.best-result {
    color: darkgreen;
    font-weight: bold;
}

.wy-nav-content {
    max-width: none;
}