/* Theorem-like statements and proofs, numbered as in the PDF. */
.stmt {
  margin: 1.2rem 0;
  padding: 0.55rem 0.9rem;
  border-left: 3px solid var(--bs-primary, #9a6a12);
  background: rgba(127, 127, 127, 0.06);
}
.stmt-remark, .stmt-example { border-left-color: rgba(127, 127, 127, 0.5); background: none; }
.stmt-definition, .stmt-algorithm { border-left-style: dashed; }
.stmt > p:last-child, .pf > p:last-child { margin-bottom: 0; }
.stmt:target, .enum-item:has(span:target) { outline: 2px solid var(--bs-primary, #9a6a12); outline-offset: 3px; }
.pf { margin: 0.8rem 0 1.4rem; }

/* Lists whose labels the paper cites, such as (a), (R1) or (CC2): the label is part of the text. */
.enum-list { margin: 0.6rem 0 1rem 1.2rem; }
.enum-item { margin: 0.35rem 0; text-indent: -1.6rem; padding-left: 1.6rem; }
.enum-item .enum-list, .enum-item mjx-container, .enum-item .enum-item { text-indent: 0; }

.upright { font-style: normal; }
.sans-serif { font-family: var(--bs-font-sans-serif); }
.smallcaps { font-variant: small-caps; }
mjx-container[display="true"] { overflow-x: auto; overflow-y: hidden; }

/* Links to an anchor land below the fixed menu, so a linked table or statement shows from its top. */
[id] { scroll-margin-top: 5rem; }

/* The claim-to-Lean table of the formalisation page: Lean names wrap only between their parts. */
.lean-map td:first-child { white-space: nowrap; }
.lean-map td:nth-child(2) code { white-space: nowrap; word-break: normal; overflow-wrap: normal; }
.lean-map td:nth-child(2) { min-width: 18rem; }