/* Make the document body use more horizontal space */
div.document {
    width: auto;
    max-width: none;
}

/* Optionally widen the content area */
div.bodywrapper {
    margin-right: 0;
}

div.body {
    max-width: none;
}

/* Top navigation/header bar */
div.related {
    color: black;
    background-color: lightgray;
}

/* Header links */
div.related a {
    color: black;
}

/* TOC font size */
div.sphinxsidebar ul {
    font-size: 16px;
}
