Something went wrong. Try again.
my forest
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836/* 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);}