:root {
    --verso-structure-font-family:
        "Source Sans 3", "Helvetica Neue", "Segoe UI", "Roboto", Arial, sans-serif;
    --verso-text-font-family:
        "Source Sans 3", "Helvetica Neue", "Segoe UI", "Roboto", Arial, sans-serif;
    --verso-code-font-family: "Source Code Pro", "Noto Sans Mono", monospace;
    --verso-selected-color: #def;
}

p {
    font-feature-settings: "calt" off;
}

section > p,
section > ul,
section > ol {
    margin-top: 1rem;
    margin-bottom: 1rem;
}

div.paragraph > p:not(:first-child),
div.paragraph > ul:not(:first-child),
div.paragraph > ol:not(:first-child),
div.paragraph > code.hl.lean.block:not(:first-child),
div.paragraph > pre.syntax-error:not(:first-child),
div.paragraph > dl:not(:first-child) {
    margin-top: 0.5rem;
}

div.paragraph > p:not(:last-child),
div.paragraph > ul:not(:last-child),
div.paragraph > ol:not(:last-child),
div.paragraph > code.hl.lean.block:not(:last-child),
div.paragraph > pre.syntax-error:not(:last-child),
div.paragraph > dl:not(:last-child) {
    margin-bottom: 0.5rem;
}

/*
Don't impose margins on lists or list items from their contents.
*/
main section li > :first-child {
    margin-top: 0;
}
main section li > :last-child {
    margin-bottom: 0;
}
main section li:not(:first-child) {
    margin-top: 0.5rem;
}
main section li:not(:last-child) {
    margin-bottom: 0.5rem;
}
main section li ol {
    margin-top: 0.5rem;
}

.hl.lean.block {
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 0.75em;
}

/** TODO - make these themeable with variables ***/
.hl.lean .keyword.token {
    font-weight: 600 !important;
}

figure {
    padding: 0;
    margin: 1em 0;
}

figure img {
    width: 100%;
    max-height: 75vh; /* No scrolling! */
}

figcaption {
    font-family: var(--verso-structure-font-family);
    text-align: center;
}

.error pre,
.information pre,
.warning pre,
.error code,
.information code,
.warning code {
    overflow-x: auto;
    margin: 0px;
}

.information pre,
.error pre,
.warning pre,
.information code,
.error code,
.warning code {
    margin: 0.5em 0.85em;
    border-left: 0.2em solid red;
    padding: 0 0.45em;
}

/* Different color for warning */
.warning pre,
.warning code {
    border-color: var(--verso-warning-color);
}

/* Different color for information */
.information pre,
.information code {
    border-color: #0000c0;
}

/* TODO: fix upstream */
.hl.lean code {
    font-family: var(--verso-code-font-family) !important;
}

#toc .split-toc > ol > li {
    margin-bottom: 0.2rem;
}

#toc .split-toc > ol .tactic-name {
    font-weight: 600;
}

/* Move the title from the header to the toc when there is not enough room for the quick jump bar. */
@media screen and (max-width: 1100px) {
    .toc-title {
        display: block;
    }

    .header-title {
        display: none;
    }
}