.toc ul {
    list-style: none;
}

.toc ul:first-child > li {
    margin-left: 0em;
}

.toc ul:first-child {
    padding-left: 2em;
}

div.notes_footer {
    font-style: italic;
    height: 200px;
    text-align: center;
    display: table;
}

div.notes_footer span {
    vertical-align: middle;
    display: table-cell;
}

div.notes_footer span code {
    font-style: normal;
}

#toc_scrolling {
    position: fixed;
    top: 30px;
    width: 200px;
}

#toc_scrolling a {
    color: var(--greyed-out);
    text-decoration: none;
}

#toc_scrolling a:visited {
    color: var(--greyed-out);
}

#toc_scrolling code.mark {
    color: var(--c2);
    float: right;
    cursor: default;
}

#mark_preview {
    font-family: "DejaVuSansMono", Monospace;
    position: fixed;
    bottom: 0.5em;
    right: 0.5em;
    padding: 0.2em;
    border: 1px solid var(--code-border);
    background: var(--code-background);
}

:root {
    --ribbon-bg: #bb3a34;
    --ribbon-hl: #e06c75;
    --ribbon-w: 30px;
    --ribbon-tail: 10px;
}

.bookmark {
    display: inline-block;
    float: right;
    cursor: default;
    margin-top: -3em;
}

.bookmark .ribbon {
    padding: 0 0 var(--ribbon-tail) 0;
    position: absolute;
    width: var(--ribbon-w);
}

.bookmark .ribbon div {
    background: var(--ribbon-bg);
    background: linear-gradient(var(--ribbon-hl) 0%, var(--ribbon-bg) 100%);
    color: #fff;
    padding: 0.2em 0;
    text-align: center;
    text-shadow: -1px -1px 0 rgba(0, 0, 0, 0.5);
}

.bookmark .ribbon div:after {
    border-left: calc(var(--ribbon-w) / 2) solid var(--ribbon-bg);
    border-right: calc(var(--ribbon-w) / 2) solid var(--ribbon-bg);
    border-bottom: var(--ribbon-tail) solid transparent;
    bottom: 0;
    content: '';
    height: 0;
    left: 0;
    position: absolute;
    width: 0;
}