@import"https://unpkg.com/open-props";@import"https://fonts.googleapis.com/css2?family=Inria+Sans:ital,wght@0,300;0,400;0,700;1,300;1,400;1,700&family=Open+Sans:ital,wght@0,300..800;1,300..800&display=swap";:root{--font-body: "Inria Sans", sans-serif;--font-header: "Inria Sans", sans-serif;--color-bg: var(--gray-9);--color-fg: var(--stone-1);--color-box-bg: var(--gray-8);--color-accent: var(--blue-4);--color-secondary: var(--stone-5)}html,body{margin:0;padding:0}body{font-family:var(--font-body);color:var(--color-fg);background:var(--color-bg);line-height:var(--font-lineheight-2)}a{color:var(--color-accent);text-decoration:none}#app>article,#app>main,#app>header{max-width:65ch;margin:auto;padding-inline:var(--size-3);box-sizing:border-box}#app>header{margin-bottom:var(--size-2);a{text-decoration:none}}#app>header>nav{display:flex;justify-content:space-between;align-items:center;padding:var(--size-3) 0;>a{font-weight:700}}#app>header>nav>ul{display:flex;gap:var(--size-4);list-style:none;padding:0;margin:0;margin-inline-start:auto}p,.display-math{margin:var(--size-3) 0}.display-math{display:flex;justify-content:center}.typst-text{fill:var(--color-fg)}section[role=doc-bibliography]{ul{margin:0;padding:0}li{margin:0;padding:0;margin-bottom:var(--size-2)}}h1,h2,h3,h4,h5,h6{font-family:var(--font-header)}h1{margin:var(--size-2) 0;font-size:var(--font-size-4)}h2{font-size:var(--font-size-2)}.secondary{color:var(--color-secondary)}.theorem,.definition,.remark,.lemma,.proof{.taxon{font-weight:700}display:flow-root;background:var(--color-box-bg);padding:0 var(--size-3);margin:var(--size-2) 0}