html{--window-inner-width: 100vw;--window-inner-height: 100vh;--vw: 1vw;--vh: 1vh}.text-center{text-align:center}.text-right{text-align:right}.text-left{text-align:left}.text-justify{text-align:justify}.bold{font-weight:700}.italic{font-style:italic}.strike-through{text-decoration:line-through}.underline{text-decoration:underline}.flex{display:flex}.full-width{width:100%}.full-height{height:100%}.hbox{display:flex;flex-direction:row;justify-content:space-around;align-items:stretch}.vbox{display:flex;flex-direction:column;justify-content:space-around;align-items:stretch}.flex-grow{flex:1}.space-around{justify-content:space-around}.justify-center{justify-content:center}.justify-start{justify-content:start}.space-evenly{justify-content:space-evenly}.space-between{justify-content:space-between}.margin-auto{margin:auto}.align-items-center{align-items:center}.align-items-end{align-items:end}.align-items-stretch{align-items:stretch}.hbox-center{display:flex;flex-direction:row;justify-content:space-around;align-items:center}.vbox-center{display:flex;flex-direction:column;justify-content:space-around;align-items:center}.height-auto{height:auto}.box-shadow{box-shadow:0 0 8px #00000026}.hidden{display:none}html{margin:0;padding:0;--font-size: min(1.45rem, max(1rem, 1.2*var(--vw))) }body{margin:0;padding:0;font-size:var(--font-size);min-height:var(--window-inner-height);background:no-repeat url(/backgrounds/paper.png) 0 0;background-repeat:repeat;font-family:"Computer Modern Serif",Latin Modern Roman,serif}.katex{font-size:1em}button{cursor:pointer}a.clarification{color:unset;text-decoration-style:dotted}a:after{font-family:Material Design Icons,sans-serif;font-size:.8em;padding-left:3px;display:inline-block;content:"󰏌"}a{text-decoration:none}.ul{margin-top:0;margin-bottom:0}select._selector_1t74q_2{appearance:none;-webkit-appearance:none;-moz-appearance:none;box-sizing:border-box;font-family:Latin Modern Roman,serif;background-color:var(--control-bg, var(--color-background-strong, #fff));color:var(--color-text, #111);border:1px solid var(--control-border, var(--color-background-weak, #cfcfcf));padding:0rem 1.55rem 0rem .4rem;font-size:.95rem;line-height:normal;border-radius:.3rem;min-height:2rem;cursor:pointer;transition:border-color .12s ease,box-shadow .12s ease;background-image:linear-gradient(45deg,transparent 50%,var(--color-text, #111) 50%),linear-gradient(135deg,var(--color-text, #111) 50%,transparent 50%);background-position:calc(100% - .9rem) center,calc(100% - .6rem) center;background-size:.38rem .38rem,.38rem .38rem;background-repeat:no-repeat}select._selector_1t74q_2:focus{outline:none;border-color:var(--color-link, #5b84d1);box-shadow:0 0 0 4px color-mix(in srgb,var(--color-link, #5b84d1) 20%,transparent)}select._selector_1t74q_2:disabled{opacity:.6;cursor:not-allowed}@media(prefers-reduced-motion:reduce){select._selector_1t74q_2{transition:none}}._h1_1tivk_2{text-align:center;font-size:max(1.5em,min(3em,min(10vw,10vh)))}html:not([data-theme=dark]){--color-background: #f8f8f8;--color-background-strong: #fff;--color-background-weak: #eee;--color-text: #24292e;--color-text-strong: #080808;--color-heading: #224466;--color-heading-strong: #0b3055;--color-link: #0c4090;--color-link-visited: #7e2a97;--color-link-hover: #2566c7;--color-selection: #14191e;--color-selection-background:rgba(173, 216, 230, .5);--color-overlay-element-bg: 0, 0, 0;--color-overlay-element-fg: 240, 240, 240;--control-bg: var(--color-background-strong);--control-border: var(--color-background-weak)}html[data-theme=dark]{--color-background: #21211d;--color-background-strong: #111;--color-background-weak: #444;--color-text: #ccc;--color-text-strong: #eee;--color-heading: #6f889e;--color-heading-strong: #8ea4b8;--color-link: #53a7eb;--color-link-visited: #e797ff;--color-link-hover: #67d8ef;--color-selection-background: rgba(255, 215, 0, .5);--color-selection: #fff;--background: #282923;--background-2: #6d6e6a;--color-background-pre: #aaa;--box-shadow: rgba(100, 100, 100, .75);--control-bg: color-mix(in srgb, var(--background, #282923) 60%, var(--color-background-strong, #111) 40%);--control-border: color-mix(in srgb, var(--background-2, #6d6e6a) 45%, #000 10%)}html{background-color:var(--color-background);color:var(--color-text)}html ::selection{background-color:var(--color-selection-background);color:var(--color-selection);text-shadow:none}a{color:var(--color-link);text-decoration-thickness:.5px}a:visited{color:var(--color-link-visited)}a:hover{color:var(--color-link-hover)}.theme-toggle{display:inline-flex;align-items:center;justify-content:center;gap:.4rem;background-color:var(--control-bg, transparent);color:var(--color-text);border:1px solid var(--control-border, rgba(0,0,0,.12));padding:.28rem .45rem;font-size:1rem;border-radius:.35rem;cursor:pointer;transition:background-color .14s ease,border-color .12s ease,color .12s ease}.theme-toggle:hover{background-color:color-mix(in srgb,var(--color-link, #53a7eb) 6%,var(--control-bg, transparent))}.theme-toggle:focus{outline:none;box-shadow:0 0 0 4px color-mix(in srgb,var(--color-link, #53a7eb) 14%,transparent);border-color:var(--color-link)}.theme-icon{font-size:1.05rem;line-height:1}html:not([data-theme=dark]) .theme-icon--darkish{display:inline-block}html:not([data-theme=dark]) .theme-icon--sunny{display:none}html[data-theme=dark] .theme-icon--darkish{display:none}html[data-theme=dark] .theme-icon--sunny{display:inline-block}.visually-hidden{position:absolute!important;height:1px;width:1px;overflow:hidden;clip:rect(1px,1px,1px,1px);white-space:nowrap}._mainParent_s01nj_1{font-family:Latin Modern Roman,"Computer Modern Serif",serif;line-height:1.5;padding-top:1em}._mainBody_s01nj_7{max-width:min(40em,90vw);margin:auto}._mainEmptyBottom_s01nj_16{padding-bottom:calc(20vh + 5rem)}._navbarParent_s01nj_20{font-family:Latin Modern Roman,sans-serif;margin:auto;padding:0 5vw;max-width:40em;display:flex}._navbarBody_s01nj_29{padding-bottom:.5em;width:100%;display:flex;align-items:baseline;flex-wrap:wrap;justify-content:space-between}._navbarBody_s01nj_29>div>a:after{display:none}._navbarBody_s01nj_29>div>a:visited{color:var(--color-link)}._navbarIconWiki_s01nj_44{vertical-align:center;width:1em;height:1em}._navbarComponentFooter_s01nj_50{margin:0 4% 1em}