: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: .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: 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;
}

.def-technical-term:target {
  background-color: var(--verso-selected-color);
  outline: auto;
}

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