/* Overrides to the default Makeinfo CSS */
div.display {margin-left: 0}
div.example {
    margin-left: 0;
    font-family: "Courier New", "DejaVu Sans Mono", monospace
}
/* end of overrides */

body {
    color: black;
    background: white;
    margin-left: 5px;
    margin-right: 5px;
    font-family: Arial, Verdana, Helvetica, sans-serif
}
h1 { font-size: 150% }
h2 { font-size: 125% }
h3 { font-size: 110% }
a:link {
    text-decoration: none;
    color: #00f
}
a:visited {color: #a0a }
a:hover, span.button:hover {
    background-color: #555753;
    color: #cdf;
}
div.textbox {
    border: solid;
    border-width: thin;
    padding: 1em 2em;
}
div.titlebox {
    border: none;
    padding-top: 1em 2em;
    background: rgb(200,255,255)
}
div.synopsisbox {
    border: none;
    padding-top: 1em 2em;
    background: rgb(255,220,255)
}
pre.example, pre.example-preformatted {
    border: 1px solid rgb(180,180,180);
    padding: 5px;
    background-color: rgb(238,238,255);
    /* Add scrollbar for examples for narrow windows */
    overflow: auto
}

div.spacerbox { border: none; padding: 2em 0 }
div.image { margin: 0; padding: 1em; text-align: center }
div.categorybox {
    border: 1px solid gray;
    padding: 1em;
    background: #fdf6e3
}
img {
    max-width:80%;
    max-height: 80%;
    display: block;
    margin-left: auto;
    margin-right: auto
}
tt, code { font-family: "Courier New", "DejaVu Sans Mono", monospace }

/* Put background color on the navigation bar */
div.header, div.nav-panel {
    background-color: #CDCCDD;
    padding: 3px 10px;
}
/* Reduce the indentation of lists and descriptions */
ul,ol { padding-left: 1em }
dd { margin-left: 0.5em }

@media screen and (min-width: 600px) {
    body {
        max-width: 900px;
        margin-left: auto;
        margin-right: auto;
    }
    div.display { margin: 0 2em }
    div.example { margin: 0 2em }
    pre.example, pre.example-preformatted { padding: 1em }
    ul,ol { padding-left: 2em }
    dd { margin-left: 1.5em }
}
@media (prefers-color-scheme: dark) {
    body {
        background: #444;
           color: #eee
         }
    a:link {
        color: #9df;
    }
    a:visited {color: #9fd }
    a:hover, span.button:hover {
        background-color: #ddd;
        color: #55f;
    }
    div.header, div.nav-panel {
        background-color: #555;
    }
    pre.example, pre.example-preformatted {
        border: 1px solid black;
        color: black;
        background-color: #aab;
    }
    div.categorybox { background-color: #544 }
    div.textbox, div.titlebox, div.synopsisbox { color: black;}
}