theme.css

:root {
    --verso-structure-font-family: "Helvetica Neue","Segoe UI",Arial,sans-serif;
    --verso-text-font-family: Source Serif, Georgia,Times,"Times New Roman",serif;
    --verso-code-font-family: Source Code Pro, monospace;
}

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 > 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 > dl:not(:last-child) {
  margin-bottom: 0.5rem;
}

/*
Don't impose margins on lists or list items from their contents.
*/
li > :first-child {
  margin-top: 0;
}
li > :last-child {
  margin-bottom: 0;
}

li:not(:first-child) {
  margin-top: 0.5rem;
}
li:not(:last-child) {
  margin-bottom: 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 .85em;
  border-left: 0.2em solid red;
  padding: 0 0.45em;
}

/* Different color for warning */
.warning pre, .warning code {
    border-color: #efd871;
}

/* 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;
}