/* SPDX-License-Identifier: CC0-1.0 */

.katex {
    font-size: 1.15em !important;
}

/* inria-sans-300 - latin_latin-ext */
@font-face {
    font-display: swap;
    /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: "Inria Sans";
    font-style: normal;
    font-weight: 300;
    src: url("fonts/inria-sans-v14-latin_latin-ext-300.woff2") format("woff2");
    /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* inria-sans-300italic - latin_latin-ext */
@font-face {
    font-display: swap;
    /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: "Inria Sans";
    font-style: italic;
    font-weight: 300;
    src: url("fonts/inria-sans-v14-latin_latin-ext-300italic.woff2")
        format("woff2");
    /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* inria-sans-regular - latin_latin-ext */
@font-face {
    font-display: swap;
    /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: "Inria Sans";
    font-style: normal;
    font-weight: 400;
    src: url("fonts/inria-sans-v14-latin_latin-ext-regular.woff2")
        format("woff2");
    /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* inria-sans-italic - latin_latin-ext */
@font-face {
    font-display: swap;
    /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: "Inria Sans";
    font-style: italic;
    font-weight: 400;
    src: url("fonts/inria-sans-v14-latin_latin-ext-italic.woff2")
        format("woff2");
    /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* inria-sans-700 - latin_latin-ext */
@font-face {
    font-display: swap;
    /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: "Inria Sans";
    font-style: normal;
    font-weight: 700;
    src: url("fonts/inria-sans-v14-latin_latin-ext-700.woff2") format("woff2");
    /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

/* inria-sans-700italic - latin_latin-ext */
@font-face {
    font-display: swap;
    /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
    font-family: "Inria Sans";
    font-style: italic;
    font-weight: 700;
    src: url("fonts/inria-sans-v14-latin_latin-ext-700italic.woff2")
        format("woff2");
    /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

:root {
    --content-gap: 15px;
    --radius: 5px;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    line-height: 1.2;
    margin-bottom: 0;
}

h5,
h6,
p {
    margin-top: 0;
}

h1,
h2,
h3,
h4 {
    margin-top: 0.5em;
}

pre,
img,
.katex-display,
section,
center {
    overflow-y: hidden;
}

pre {
    border-radius: var(--radius);
    background-color: rgba(0, 100, 100, 0.04);
    padding: 0.5em;
    font-size: 11pt;
    margin-top: 0em;
    overflow-x: auto;
    white-space: pre-wrap;
    white-space: -moz-pre-wrap;
    white-space: -pre-wrap;
    white-space: -o-pre-wrap;
    word-wrap: break-word;
}
.shiki > code {
  background-color: transparent;
  padding:0;
}
shiki-block {
  display: block;
  unicode-bidi: embed;
  font-family: monospace;
  white-space: pre;
}
code {
    border-radius: var(--radius);
    background-color: rgba(0, 100, 100, 0.04);
    padding: 0.2em;
    font-size: 0.9em;
}

body {
    font-family: "Inria Sans";
    font-size: 12pt;
    line-height: 1.55;
}

math {
    font-size: 1.12em;
}

mrow:hover {
    background-color: rgba(0, 100, 255, 0.04);
}

.logo {
    font-weight: 1000;
    font-size: 24px;
}

.logo a {
    color: #666;
    text-decoration: none;
}

.logo a:hover {
    color: #aaa;
}

.block.hide-metadata > details > summary > header > .metadata {
    display: none;
}

article > section > details > summary > header > h1 > .taxon {
    display: block;
    font-size: 0.9em;
    color: #888;
    padding-bottom: 5pt;
}

section
    section[data-taxon="Reference"]
    > details
    > summary
    > header
    > h1
    > .taxon,
section
    section[data-taxon="Person"]
    > details
    > summary
    > header
    > h1
    > .taxon {
    display: none;
}

footer > section {
    margin-bottom: 1em;
}

footer h2 {
    font-size: 14pt;
}

.metadata > address {
    display: inline;
}

@media only screen and (max-width: 1000px) {
    body {
        margin-top: 1em;
        margin-left: 0.5em;
        margin-right: 0.5em;
        transition: ease all 0.2s;
    }

    #grid-wrapper > nav {
        display: none;
        transition: ease all 0.2s;
    }
}

@media only screen and (min-width: 1000px) {
    body {
        margin-top: 2em;
        margin-left: 2em;
        transition: ease all 0.2s;
    }

    #grid-wrapper {
        display: grid;
        grid-template-columns: 90ex;
    }
}

body > header {
    margin-bottom: 0.5em;
}

#grid-wrapper > article {
    max-width: 90ex;
    margin-right: auto;
    grid-column: 1;
}

#grid-wrapper > nav {
    grid-column: 2;
}

details > summary > header {
    display: inline;
}

a.heading-link {
    box-shadow: none;
}

details h1 {
    font-size: 13pt;
    display: inline;
}

section .block[data-taxon] details > summary > header > h1 {
    font-size: 12pt;
}

span.taxon {
    color: #444;
    font-weight: bolder;
}

.link-list > section > details > summary > header h1 {
    font-size: 12pt;
}

article > section > details > summary > header > h1 {
    font-size: 1.5em;
}

details > summary {
    list-style-type: none;
}

details > summary::marker,
details > summary::-webkit-details-marker {
    display: none;
}

article > section > details > summary > header {
    display: block;
    margin-bottom: 0.5em;
}

section.block > details {
    margin-bottom: 0.4em;
}

section.block > details[open] {
    margin-bottom: 1em;
}

.link-list > section.block > details {
    margin-bottom: 0.25em;
}

nav#toc {
    margin-left: 1em;
}

nav#toc h1 {
    margin-top: 0;
    font-size: 16pt;
}

nav#toc,
nav#toc a {
    color: #555;
}

nav#toc .link {
    box-shadow: none;
    text-decoration: none;
}

nav#toc a.bullet {
    opacity: 0.7;
    margin-left: 0.4em;
    margin-right: 0.3em;
    padding-left: 0.2em;
    padding-right: 0.2em;
    text-decoration: none;
}

nav#toc h2 {
    font-size: 1.1em;
}

nav#toc ul {
    list-style-type: none;
}

nav#toc li > ul {
    padding-left: 1em;
}

nav#toc li {
    list-style-position: inside;
}

.block {
    border-radius: var(--radius);
}

.block:hover {
    background-color: rgba(100, 100, 100, 0.04);
}

.block.highlighted {
    border-style: solid;
    border-width: 1pt;
}

.highlighted {
    background-color: rgba(255, 255, 140, 0.3);
    border-color: #ccc;
}

.highlighted:hover {
    background-color: rgba(255, 255, 140, 0.6);
    border-color: #aaa;
}

.slug,
.doi,
.orcid {
    color: gray;
    font-weight: 200;
}

.edit-button {
    color: rgb(180, 180, 180);
    font-weight: 200;
}

.block {
    padding-left: 5px;
    padding-right: 10px;
    padding-bottom: 2px;
    border-radius: 5px;
}

.link.external {
    text-decoration: underline;
}

a.link.local,
.link.local a,
a.slug {
    box-shadow: none;
    text-decoration-line: underline;
    text-decoration-style: dotted;
}

ninja-keys::part(ninja-action) {
    white-space: nowrap;
}

body {
    hyphens: auto;
}

table {
    margin-bottom: 1em;
}

table.macros {
    overflow-x: visible;
    overflow-y: visible;
    font-size: 0.9em;
}

table.macros td {
    padding-left: 5pt;
    padding-right: 15pt;
    vertical-align: baseline;
}

th {
    text-align: left;
}

th,
td {
    padding: 0 15px;
    vertical-align: top;
}

td.macro-name,
td.macro-body {
    white-space: nowrap;
}

td.macro-doc {
    font-size: 0.9em;
}

.enclosing.macro-scope > .enclosing {
    border-radius: 2px;
}

.enclosing.macro-scope > .enclosing:hover {
    background-color: rgba(0, 100, 255, 0.1);
}

[aria-label][role~="tooltip"]::after {
    font-family: "Inria Sans";
}

.tooltip {
    position: relative;
}

.inline.tooltip {
    display: inline-block;
}

.display.tooltip {
    display: block;
}

/* The tooltip class is applied to the span element that is the tooltip */

.tooltip .tooltiptext {
    visibility: hidden;
    white-space: nowrap;
    min-width: fit-content;
    background-color: black;
    color: #fff;
    padding-left: 5px;
    padding-top: 5px;
    padding-right: 10px;
    border-radius: 6px;
    position: absolute;
    z-index: 1;
    top: 100%;
    left: 50%;
    margin-left: -60px;
    opacity: 0;
    transition: opacity 0.3s;
}

.tooltip .tooltiptext::after {
    content: "";
    position: absolute;
    top: 100%;
    left: 50%;
    margin-left: -5px;
    border-width: 5px;
}

/* Show the tooltip */

.tooltip:hover .tooltiptext {
    visibility: visible;
    opacity: 1;
}

.tooltiptext a {
    color: white;
}

.macro-doc {
    font-style: italic;
}

.macro-name {
    white-space: nowrap;
}

.macro-is-private {
    color: var(--secondary);
}

blockquote {
    border-inline-start: 1px solid var(--secondary);
}

a.slug:hover,
a.bullet:hover,
.edit-button:hover,
.link:hover {
    background-color: rgba(0, 100, 255, 0.1);
}

.link {
    cursor: pointer;
}

a {
    color: black;
    text-decoration: inherit;
}

.nowrap {
    white-space: nowrap;
}

.nocite {
    display: none;
}

blockquote {
    font-style: italic;
}

address {
    display: inline;
}

.metadata ul {
    padding-left: 0;
    display: inline;
}

.metadata li::after {
    content: " · ";
}

.metadata li:last-child::after {
    content: "";
}

.metadata ul li {
    display: inline;
}

img {
    object-fit: cover;
    max-width: 100%;
}

figure {
    text-align: center;
}

figcaption {
    font-style: italic;
    padding: 3px;
}

mark {
    background-color: rgb(255, 255, 151);
}

hr {
    margin-top: 10px;
    margin-bottom: 20px;
    background-color: gainsboro;
    border: 0 none;
    width: 100%;
    height: 2px;
}

ul,
ol {
    padding-bottom: 0.5em;
}

ol {
    list-style-type: decimal;
}

ol li ol {
    list-style-type: lower-alpha;
}

ol li ol li ol {
    list-style-type: lower-roman;
}

.error,
.info {
    border-radius: 4pt;
    padding-left: 3pt;
    padding-right: 3pt;
    padding-top: 1pt;
    padding-bottom: 2pt;
    font-weight: bold;
}

.error {
    background-color: red;
    color: white;
}

.info {
    background-color: #bbb;
    color: white;
}

.portrait {
    float: right;
    width: 40%;
    border: 1px solid black;
    margin-left: 20px;
    margin-bottom: 5px;
}
.sidefigure {
    float: right;
    text-align: center;
    width: 30%;
    margin-left: 20px;
    margin-bottom: 5px;
}
.constrainfigure {
    text-align: center;
    width: 65%;
}
.block[data-taxon="Example"]:hover {
    background-color: rgba(133, 217, 102, 0.19);
}
.block[data-taxon="Example"] {
    background-color: rgba(133, 217, 102, 0.08);
}
.block[data-taxon="Warning"]:hover {
    background-color: rgba(255, 100, 0, 0.16);
}
.block[data-taxon="Warning"] {
    background-color: rgba(255, 100, 0, 0.08);
}
.block[data-taxon="Counterexample"]:hover {
    background-color: rgba(255, 100, 0, 0.16);
}
.block[data-taxon="Counterexample"] {
    background-color: rgba(255, 100, 0, 0.08);
}
.block[data-taxon="Problem"]:hover {
    background-color: rgba(255, 100, 0, 0.16);
}
.block[data-taxon="Problem"] {
    background-color: rgba(255, 100, 0, 0.08);
}
.block[data-taxon="Upshot"]:hover {
    background-color: rgba(255, 100, 0, 0.16);
}
.block[data-taxon="Upshot"] {
    background-color: rgba(255, 100, 0, 0.08);
}
.block[data-taxon="Thesis"]:hover {
    background-color: rgba(255, 100, 0, 0.16);
}
.block[data-taxon="Thesis"] {
    background-color: rgba(255, 100, 0, 0.08);
}

.block[data-taxon="Definition"]:hover {
    background-color: rgba(0, 100, 255, 0.1);
}
.block[data-taxon="Definition"] {
    background-color: rgba(0, 100, 255, 0.04);
}

.block[data-taxon="Construction"]:hover {
    background-color: rgba(0, 100, 255, 0.1);
}
.block[data-taxon="Construction"] {
    background-color: rgba(0, 100, 255, 0.04);
}
.block[data-taxon="Theorem"]:hover {
    background-color: rgba(100, 100, 255, 0.16);
}
.block[data-taxon="Theorem"] {
    background-color: rgba(100, 100, 255, 0.08);
}
.block[data-taxon="Proof"]:hover {
    background-color: rgba(255, 255, 255, 0.32);
}
.block[data-taxon="Proof"] {
    background-color: rgba(255, 255, 255, 0.64);
}
.block[data-taxon="Exercise"]:hover {
    background-color: rgba(255, 215, 45, 0.22);
}
.block[data-taxon="Exercise"] {
    background-color: rgba(255, 215, 45, 0.12);
}
.block[data-taxon="Ordo"] {
    font-family:"Crimson Text";
    font-size:larger;
}
.block[data-taxon="Solution"]:hover {
    background-color: rgba(255, 255, 255, 0.32);
}
.block[data-taxon="Solution"] {
    background-color: rgba(255, 255, 255, 0.64);
}

kbd {
  background-color: #eee;
  border-radius: 3px;
  border: 1px solid #b4b4b4;
  box-shadow:
    0 1px 1px rgba(0, 0, 0, 0.2),
    0 2px 0 0 rgba(255, 255, 255, 0.7) inset;
  color: #333;
  display: inline-block;
  font-size: 0.85em;
  font-weight: 700;
  line-height: 1;
  padding: 2px 4px;
  white-space: nowrap;
}