body {
    max-width: 75% !important;
}

table.align-default {
    margin-left: 0;
    margin-right: 0;
}

div.admonition {
    background-color: #f7f2f3;
}

p.admonition-title {
    background-color: #93bdff;
}

.red {
    color: red;
}

.green {
    color: green;
}

/* Use available width for navigation content (read the docs theme). */
.wy-nav-content {
    max-width: none;
}

.local-version-selector {
    padding: 0.5rem 1rem;
}

.local-version-selector label {
    color: #fcfcfc;
    display: block;
    font-size: 0.8rem;
    margin-bottom: 0.25rem;
}

.local-version-selector select {
    width: 100%;
}