.c000{border-spacing:0;}
.c001{border-spacing:6px;border-collapse:separate;}
.c002{border:0;border-spacing:1;border-collapse:separate;}
.c003{color:#007C00}
.c004{color:#B20000}
.c005{color:blue}
.c006{font-family:monospace}
.c007{font-family:monospace;color:#007C00}
.c008{font-family:sans-serif}
.c009{font-size:small}
.c010{font-size:x-large}
.c011{font-style:italic}
.c012{font-weight:bold}
.c013{padding:1ex;background-color:#FAFAFA;}
.c014{text-align:center}
.c015{text-align:center;border:solid 1px;white-space:nowrap}
.c016{text-align:center;white-space:nowrap}
.c017{text-align:left;border:solid 1px;white-space:nowrap}
.c018{text-align:left;white-space:nowrap}
.c019{text-align:right;white-space:nowrap}
.c020{vertical-align:middle}
.c021{vertical-align:top;text-align:left;}
.c022{width:80%;height:2}
.li-itemize{margin:1ex 0ex;}
.li-enumerate{margin:1ex 0ex;}
.dd-description{margin:0ex 0ex 1ex 4ex;}
.dt-description{margin:0ex;}
.footnotetext{margin:0ex; padding:0ex;}
div.footnotetext P{margin:0px; text-indent:1em;}
.thefootnotes{text-align:left;margin:0ex;}
.dt-thefootnotes{margin:0em;}
.dd-thefootnotes{margin:0em 0em 0em 2em;}
.footnoterule{margin:1em auto 1em 0px;width:50%;}
.caption{padding-left:2ex; padding-right:2ex; margin-left:auto; margin-right:auto}
.center{text-align:center;margin-left:auto;margin-right:auto;}
div table{margin-left:inherit;margin-right:inherit;margin-bottom:2px;margin-top:2px}
td table{margin:auto;}
table{border-collapse:collapse;}
td{padding:0;}
.cellpadding0 tr td{padding:0;}
.cellpadding1 tr td{padding:1px;}
pre{text-align:left;margin-left:0ex;margin-right:auto;}
blockquote{margin-left:4ex;margin-right:4ex;text-align:left;}
td p{margin:0px;}
.hbar{border:none;height:2px;width:100%;background-color:black;}
.display{border-collapse:separate;border-spacing:2px;width:auto; border:none;}
.dcell{white-space:nowrap;padding:0px; border:none;}
.dcenter{margin:0ex auto;}
.theorem{text-align:left;margin:1ex auto 1ex 0ex;}
p+p{margin-top:1em; margin-bottom:1em;}
img{border: 0px;}
.theorem em{font-style: normal;}
.lstlisting{font-family:monospace;white-space:pre;margin-right:auto;margin-left:0pt;text-align:left}
.lstframe{margin: 1em; width: calc(100% - 1em);}
.lstlisting{padding: 3pt;}

div#main {
    display: grid;
    grid-template-columns: 1fr;
    grid-auto-rows: minmax(100px, auto);
    grid-gap: 10px;
    gap: 10px;
}
div#colorbar {
    display: none;
    /* background: #DC143C;  */
}
div#content {
    min-width: 0;
    padding: 10px;
}
div#content p:first-of-type {
    margin-top: 0;
}
h1, h2, h3, h4, h5, h6 {
    margin-bottom: 0;
}
h1 span, h2 span, h3 span, h4 span, h5 span, h6 span {
    display: block;
}

img {
    max-width: 100%
}
pre.verbatim {
    overflow-x: auto;
    max-width: 100%;
}

/* navarrow links */
img.navarrow {
    padding: 0 5px;
    text-decoration: none;
    color: #DC143C;
}

body > a, body > a:link {
    color: #DC143C;
}
body > a:hover {
    text-decoration: underline;
}

body div#content a, body div#sidebar a {
    text-decoration: underline;
}

img.prevarrow:after {
    content: " 🡄"
}
img.uparrow:after {
    content: " 🡅"
}
img.nextarrow:after {
    content: " 🡆"
}
/* end navarrow links */

div.notice {
    background-color: #f0f0f0;
    padding: 8px;
    border: 1px solid #d0d0d0;
    margin-bottom: 12px;
}

@media (max-width: 800px) {
    body > hr:first-of-type {
        color: #DC143C;
        background-color: #DC143C;
        height: 12px;
        margin-bottom: 0px;
        border: 0;
    }
    div#content {
        padding: 10px 2px;
    }
}

@media (min-width: 800px) {
    hr { border: 0; }
    div#colorbar {
        display: block;
    }
    div#main {
        grid-template-columns: 1fr 5fr 200px;
    }
    div#content {
        max-width: 600px;
    }
    div#sidebar {
        max-width: 200px;
        padding: 0px 10px;
    }
    img.prevarrow {
        margin-left: 15%;
    }
}