/* SPDX-License-Identifier: CC0-1.0 */
@import url("katex.min.css");
@import url("https://fonts.googleapis.com/css?family=Crimson+Text:400,700,700italic,400italic");
@import url("gabc.css");

.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+ */
}

@font-face {
  font-display: swap;
  font-family: 'Latin Modern Math';
  font-style: normal;
  font-weight: 400;
  src: local('Latin Modern Math'), local('LatinModernMath-Regular'), url('fonts/latinmodern-math.woff2') format('woff2');
}

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

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

pre {
  border-radius: var(--radius);
  background-color: rgba(0, 100, 100, 0.04);
  padding: .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;
}

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-family: 'Latin Modern Math', 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;
}

#home-link.hidden {
  display: none;
}

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

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

section section[data-taxon="Reference"]>header>h1>.taxon,
section section[data-taxon="Person"]>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: .5em;
    margin-right: .5em;
    transition: ease all .2s;
  }

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

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

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

#main-wrapper>header {
  margin-bottom: 0.5em;
}

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

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

section>header {
  cursor: pointer;
}

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

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

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

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

.mainmatter,
ul.block {
  counter-reset: section-num;
}

.numbered {
  counter-increment: section-num;
}

.section-number::before {
  content: " " counters(section-num, ".") ". ";
}

.link-preview,
.link-preview .mainmatter {
  counter-reset: preview-section-num;
}

.link-preview .numbered {
  counter-increment: preview-section-num;
}

.link-preview .section-number::before {
  content: " " counters(preview-section-num, ".") ". ";
}

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

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

article>section>header {
  display: block;
  margin-bottom: .5em;
}

.mainmatter.collapsed {
  display: none;
}

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


section.block>.mainmatter:not(.collapsed) {
  margin-bottom: 1em;
}


.link-list>section.block>.mainmatter {
  margin-bottom: .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(0, 100, 255, 0.04);
}

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

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

.highlighted:hover {
  background-color: rgba(255, 255, 140, .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.docs-button.link.local,
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: .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
}

.link-preview {
  display: none;
  background-color: #fff;
  padding: 8px;
  border: 1px solid #ddd;
  border-radius: var(--radius);
  box-shadow: 0 2px 8px rgba(0, 0, 0, 0.08);
  z-index: 1000;
  position: fixed;
  width: 400px;
  max-height: 200px;
  overflow: hidden;
  font-size: 12pt;
  font-weight: 400;
  font-style: normal;
  line-height: 1.55;
  letter-spacing: normal;
  text-align: left;
  text-transform: none;
  color: initial;
}

.link-preview.visible::after {
  content: "";
  position: absolute;
  left: 0;
  right: 0;
  bottom: 0;
  height: 48px;
}

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

nav.nav {
  display: flex;
  padding: 0.5rem 0;
}

a.docs-button {
  position: fixed;
  bottom: 1rem;
  right: 1rem;
  background-color: rgba(0, 100, 255, 0.04);
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  padding: 0.6em 1.2em;
  text-decoration: none;
}

.metadata {
  font-size: smaller;
}
.block[data-taxon="Ordo"] {
    font-family:"Crimson Text";
    font-size:larger;
}
.shiki > code {
  background-color: transparent;
  padding:0;
}
shiki-block {
  display: block;
  unicode-bidi: embed;
  font-family: monospace;
  white-space: pre;
}
.constrainfigure {
    text-align: center;
    width: 65%;
}
.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);
}
.sidefigure {
    float: right;
    text-align: center;
    width: 30%;
    margin-left: 20px;
    margin-bottom: 5px;
}
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;
}
.portrait {
    float: right;
    width: 40%;
    border: 1px solid black;
    margin-left: 20px;
    margin-bottom: 5px;
}
.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="Solution"]:hover {
    background-color: rgba(255, 255, 255, 0.32);
}
.block[data-taxon="Solution"] {
    background-color: rgba(255, 255, 255, 0.64);
}
.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="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="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);
}