html {
    font-family: -apple-system, -apple-system-font, HelveticaNeue, "Helvetica Neue", Helvetica, sans-serif;
    font-size: 16px;
    line-height: 1.5;
    min-height: 100%;
}

body {
    position: relative;
    min-height: 100%;
    margin: 0;
    padding: 0 0.3rem;
    border-right: 1px solid rgba(0, 0, 0, 0.1);
}

#toc {
    border-width: 0px;
    padding-right: 2px;
    padding-left: 4px;
    padding-bottom: 0px;
    padding-top: 2px;
    position: absolute;
    left: 0px;
    top: 0px;
    width: 216px;
    min-height: 100%;
    margin: 0px;
}

#toc_frame {
    left: 0px;
    top: 0px;
    width: 100%;
    height: 100%;
    margin: 0px;
    padding: 0px;
    border-width: 0px;
}

#corpus {
    border-right-width: 0px;
    border-bottom-width: 0px;
    border-top-width: 0px;
    position: absolute;
    top: 0px;
    left: 218px;
    right: 4px;
    height: 100%;
    width: auto;
    padding: 0px;
    margin: 0px;
    border-left-color: #b3b3b3;
    border-left-width: 1px;
    border-right-style: none;
    border-left-style: dotted;
}

#content_frame {
    left: 0px;
    top: 0px;
    width: 100%;
    height: 100%;
    margin: 0px;
    padding: 0px;
    border-width: 0px;
}

.sectionhead {
    font-size: 0.85rem;
    font-weight: 500;
    margin: 0;
    margin-top: 1rem;
    padding: 0.2rem 0.6rem;
    /* border-bottom: 1px solid rgba(0, 0, 0, 0.05); */
}

ul {
    margin: 0;
    padding: 0;
    list-style: none;
    font-size: 0.9rem;
}

li ul {
    padding: 0.4rem 0 0.4rem 1rem;
}

li.collapsed,
li.expanded {
    cursor: pointer;
}

li {
    padding: 0.6rem 0.6rem;
    border-radius: 5px;
    list-style: none;
}

li.collapsed {
    list-style: inside;
    list-style-image: url(../i/ChevronRight.svg);
}

li.expanded {
    list-style: inside;
    list-style-image: url(../i/ChevronDown.svg);
}

li a {
    display: block;
}

li.collapsed:hover,
li ul li:hover,
ul > li:hover {
    background-color: rgba(0, 0, 0, 0.05);
}

li.expanded:hover {
    background: none;
}

a {
    text-decoration: none;
    color: #0094ff;
}