/* Change the blue header background in ReadTheDocs theme */
.wy-side-nav-search {
    background-color: #444444 !important;   /* light gray */
}

/* Widen the main content area in the ReadTheDocs theme */
.wy-nav-content {
    max-width: none;
}