/* MM0 stylesheet. Adapted from the BSD licensed pyramid.css Sphinx theme. */

/* -- general body styles --------------------------------------------------- */

div.body p, div.body dd, div.body li, div.body blockquote {
    -moz-hyphens: auto;
    -ms-hyphens: auto;
    -webkit-hyphens: auto;
    hyphens: auto;
}

a.headerlink {
    visibility: hidden;
}

h1:hover > a.headerlink,
h2:hover > a.headerlink,
h3:hover > a.headerlink,
h4:hover > a.headerlink,
h5:hover > a.headerlink,
h6:hover > a.headerlink,
dt:hover > a.headerlink,
caption:hover > a.headerlink,
p.caption:hover > a.headerlink,
div.code-block-caption:hover > a.headerlink {
    visibility: visible;
}

div.body p.caption {
    text-align: inherit;
}

div.body td {
    text-align: left;
}

/* -- other body styles ----------------------------------------------------- */

ol.arabic {
    list-style: decimal;
}

ol.loweralpha {
    list-style: lower-alpha;
}

ol.upperalpha {
    list-style: upper-alpha;
}

ol.lowerroman {
    list-style: lower-roman;
}

ol.upperroman {
    list-style: upper-roman;
}

dl {
    margin-bottom: 15px;
}

dd p {
    margin-top: 0px;
}

dd ul, dd table {
    margin-bottom: 10px;
}

dd {
    margin-top: 3px;
    margin-bottom: 10px;
    margin-left: 30px;
}

dt:target, span.highlighted {
    background-color: #fbe54e;
}

abbr, acronym {
    border-bottom: dotted 1px;
    cursor: help;
}

/* -- code displays --------------------------------------------------------- */

pre {
    overflow: auto;
    overflow-y: hidden;  /* fixes display issues on Chrome browsers */
}

span.pre {
    -moz-hyphens: none;
    -ms-hyphens: none;
    -webkit-hyphens: none;
    hyphens: none;
}

h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
    background-color: transparent;
}

/* -- page layout ----------------------------------------------------------- */

body {
    font-family: "Nobile", sans-serif;
    font-size: 100%;
    background-color: #f5f7ff;
    margin: 0;
    padding: 0;
}

hr {
    border: 1px solid #B1B4B6;
}

div.body {
    background-color: #ffffff;
    color: #3E4349;
    padding: 0 30px 30px 30px;
    font-size: 1em;
    border: 2px solid #ddd;
    border-right-style: none;
    overflow: auto;
}

/* -- body styles ----------------------------------------------------------- */

a, a .pre {
    color: #1b61d6;
    text-decoration: none;
}

a.sort, a.sortname, span.sort {color:#c08b30;}
a.ax { color:#ce3434; }
a.def { color: #22a2c9; }
a.thm { color: #6679cc; }
a.term { color: #9c637a; }
.axs { color:#c87a00; }
.axs-hint { color:#909090; }

a:hover, a:hover .pre {
    text-decoration: underline;
}

a.term, a.def, a.thm, a.ax, .axs {
    font-family: Fira Code,Consolas,Monaco,'Andale Mono','Ubuntu Mono',monospace;
    font-size: 0.9em;
}

div.body h1,
div.body h2,
div.body h3,
div.body h4,
div.body h5,
div.body h6 {
    font-family: "Neuton", sans-serif;
    font-weight: normal;
    color: #373839;
    margin: 30px 0px 10px 0px;
    padding: 5px 0;
}

div.body h1 { border-top: 20px solid white; margin-top: 0; font-size: 200%; }
div.body h2 { font-size: 150%; }
div.body h3 { font-size: 120%; }
div.body h4 { font-size: 110%; }
div.body h5 { font-size: 100%; }
div.body h6 { font-size: 100%; }

a.headerlink {
    font-size: 0.8em;
    padding: 0 4px 0 4px;
}

a.headerlink:hover {
    text-decoration: underline;
}

div.body p, div.body dd, div.body li {
    line-height: 1.5em;
}

pre {
    padding: 10px;
    background-color: #fafafa;
    color: #545b78;
    line-height: 1.2em;
    border: 2px solid #C6C9CB;
    margin: 1.5em 0 1.5em 0;
    font-family: Fira Code,Consolas,Monaco,'Andale Mono','Ubuntu Mono',monospace;
    font-size: 0.9em;
    border-right-style: none;
    border-left-style: none;
    text-align: left;
    white-space: pre;
    word-spacing: normal;
    word-break: normal;
    word-wrap: normal;
    line-height: 1.5;
    -moz-hyphens: none;
    hyphens: none;
}

table.proof {
    text-align: left;
    /* line-height: 40px; */
    border-collapse: separate;
    border-spacing: 0;
    border: 2px solid #ccc;
    width: 500px;
    margin: 50px auto;
    border-radius: .25rem;
}

table.proof th,
table.proof td {
    border-bottom: 1px solid #ccc;
}

table.proof tr.selected td:first-child {
    background-color: #f8f8dd;
}

table.proof tr.hidden td {
    border-bottom: 0;
}
table.proof tr.hidden div {
    max-height: 0;
    box-sizing: border-box;
    overflow: hidden;
    /* transition: max-height 0.3s, padding 0.3s; */
}

tbody tr:hover {
    background-color: #f2f2f2;
    cursor: default;
}

th, td {
  padding: 0 10px 0 10px;
  border-left: 1px solid #ccc;
}

th:first-child,
td:first-child {
  padding: 0 15px 0 15px;
}

tr:first-child th,
tr:first-child td {
  padding: 10px 15px;
}

table.proof pre {
    padding: 5px 10px 5px 10px;
    background-color: unset;
    border: 0;
    margin: 0;
}

code {
    background-color: #f0f3ff;
    color: #545b78;
    font-family: Fira Code,Consolas,Monaco,'Andale Mono','Ubuntu Mono',monospace;
    font-size: 1em;
}

h1.title span.nav {
    float: right;
    font-size: 70%;
}

h1.title span.nav a {
    padding: 0 7px;
}

/* -- dark mode ----------------------------------------------------------- */

@media (prefers-color-scheme: dark) {

    body {
        background-color: #090c18;
    }

    hr {
        border: 1px solid #4e4b49;
    }

    div.body {
        background-color: #14192e;
        color: #979db4;
        border: 2px solid #222;
    }

    a, a .pre {
        color: #1b61d6;
        text-decoration: none;
    }

    a.sort, a.sortname, span.sort { color:#c08b30; }
    a.ax { color:#c94922; }
    a.def { color: #22a2c9; }
    a.thm { color: #6679cc; }
    a.term { color: #9c637a; }
    .axs { color:#db8b12; }
    .axs-hint { color:#666; }

    div.body h1,
    div.body h2,
    div.body h3,
    div.body h4,
    div.body h5,
    div.body h6 {
        color: #dfe2f1;
    }

    div.body h1 { border-top: 20px solid #14192e; }

    pre {
        background-color: #171d33;
        color: #979db4;
        border: 2px solid #393634;
    }

    table.proof {
        border: 2px solid #333;
    }

    table.proof th,
    table.proof td {
        border-bottom: 1px solid #333;
    }

    table.proof tr.selected td:first-child {
        background-color: #293256;
    }

    tbody tr:hover {
        background-color: #202746;
    }

    th, td {
        border-left: 1px solid #333;
    }

    code {
        background-color: #171d33;
        border-radius: 3px;
        color: #dfe2f1;
    }
}