@charset "UTF-8";:root{--gray-100:#f6f5f4;--gray-200:#eae8e6;--gray-300:#d6d3d0;--gray-500:#807a76;--color-link:#5a7e92;--color-visited-link:#7a828a;--body-background:white;--body-font-color:#2d2b2a;--icon-filter:none;--hint-color-info:#5a8d9e;--hint-color-warning:#c49a3d;--hint-color-danger:#be5454;--tooltip-bg:var(--body-font-color);--tooltip-color:var(--body-background);--tooltip-border:rgba(255,255,255,0.08);--tooltip-shadow:0 8px 20px rgba(0,0,0,0.35)}@media(prefers-color-scheme:dark){:root{--gray-100:rgba(160, 148, 140, 0.08);--gray-200:rgba(160, 148, 140, 0.15);--gray-300:rgba(160, 148, 140, 0.22);--gray-500:rgba(160, 148, 140, 0.4);--color-link:#92b4cc;--color-visited-link:#9ea8b0;--body-background:#0D0D0D;--body-font-color:#e4e2e0;--icon-filter:brightness(0) invert(1);--hint-color-info:#5a8d9e;--hint-color-warning:#c49a3d;--hint-color-danger:#be5454;--tooltip-bg:var(--body-font-color);--tooltip-color:var(--body-background);--tooltip-border:rgba(0,0,0,0.12);--tooltip-shadow:0 8px 24px rgba(0,0,0,0.25)}}/*!normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css*/html{line-height:1.15;-webkit-text-size-adjust:100%}body{margin:0}main{display:block}h1{font-size:2em;margin:.67em 0}hr{box-sizing:content-box;height:0;overflow:visible}pre{font-family:monospace,monospace;font-size:1em}a{background-color:transparent}abbr[title]{border-bottom:none;text-decoration:underline;text-decoration:underline dotted}b,strong{font-weight:bolder}code,kbd,samp{font-family:monospace,monospace;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}img{border-style:none}button,input,optgroup,select,textarea{font-family:inherit;font-size:100%;line-height:1.15;margin:0}button,input{overflow:visible}button,select{text-transform:none}button,[type=button],[type=reset],[type=submit]{-webkit-appearance:button}button::-moz-focus-inner,[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner{border-style:none;padding:0}button:-moz-focusring,[type=button]:-moz-focusring,[type=reset]:-moz-focusring,[type=submit]:-moz-focusring{outline:1px dotted ButtonText}fieldset{padding:.35em .75em .625em}legend{box-sizing:border-box;color:inherit;display:table;max-width:100%;padding:0;white-space:normal}progress{vertical-align:baseline}textarea{overflow:auto}[type=checkbox],[type=radio]{box-sizing:border-box;padding:0}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}details{display:block}summary{display:list-item}template{display:none}[hidden]{display:none}.flex{display:flex}.flex-auto{flex:auto}.flex-even{flex:1 1}.flex-wrap{flex-wrap:wrap}.justify-start{justify-content:flex-start}.justify-end{justify-content:flex-end}.justify-center{justify-content:center}.justify-between{justify-content:space-between}.align-center{align-items:center}.mx-auto{margin:0 auto}.text-center{text-align:center}.text-left{text-align:left}.text-right{text-align:right}.hidden{display:none}input.toggle{height:0;width:0;overflow:hidden;opacity:0;position:absolute}.clearfix::after{content:"";display:table;clear:both}html{font-size:18px;scroll-behavior:smooth;touch-action:manipulation}body{min-width:20rem;color:var(--body-font-color);background:var(--body-background);letter-spacing:.33px;font-weight:400;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;box-sizing:border-box}body *{box-sizing:inherit}h1,h2,h3,h4,h5{font-weight:400}a{text-decoration:none;color:var(--color-link)}img{vertical-align:baseline}:focus{outline-style:auto;outline-color:currentColor;outline-color:-webkit-focus-ring-color}aside nav ul{padding:0;margin:0;list-style:none}aside nav ul li{margin:1em 0;position:relative}aside nav ul a{display:block}aside nav ul a:hover{opacity:.5}aside nav ul ul{padding-inline-start:1rem}ul.pagination{display:flex;justify-content:center;list-style-type:none;padding-inline-start:0}ul.pagination .page-item a{padding:1rem}.container{max-width:80rem;margin:0 auto}.book-icon{filter:var(--icon-filter)}.book-brand{margin-top:0;margin-bottom:1rem}.book-brand img{height:1.5em;width:1.5em;margin-inline-end:.5rem}.book-menu{flex:0 0 16rem;font-size:.9rem}.book-menu .book-menu-content{width:16rem;padding:1rem;background:var(--body-background);position:fixed;top:0;bottom:0;overflow-x:hidden;overflow-y:auto}.book-menu a,.book-menu label{color:inherit;cursor:pointer;word-wrap:break-word}.book-menu a.active{color:var(--color-link)}.book-menu input.toggle+label+ul{display:none}.book-menu input.toggle:checked+label+ul{display:block}.book-menu input.toggle+label::after{content:"▸"}.book-menu input.toggle:checked+label::after{content:"▾"}body[dir=rtl] .book-menu input.toggle+label::after{content:"◂"}body[dir=rtl] .book-menu input.toggle:checked+label::after{content:"▾"}.book-section-flat{margin:2rem 0}.book-section-flat>a,.book-section-flat>span,.book-section-flat>label{font-weight:bolder}.book-section-flat>ul{padding-inline-start:0}.book-page{min-width:20rem;flex-grow:1;padding:1rem}.book-post{margin-bottom:1.5rem}.book-header{display:none;margin-bottom:1rem}.book-header label{line-height:0}.book-header img.book-icon{height:1.5em;width:1.5em}.book-search{position:relative;margin:1rem 0;border-bottom:1px solid transparent}.book-search input{width:100%;padding:.5rem;border:0;border-radius:.25rem;background:var(--gray-100);color:var(--body-font-color)}.book-search input:required+.book-search-spinner{display:block}.book-search .book-search-spinner{position:absolute;top:0;margin:.5rem;margin-inline-start:calc(100% - 1.5rem);width:1rem;height:1rem;border:1px solid transparent;border-top-color:var(--body-font-color);border-radius:50%;animation:spin 1s ease infinite}@keyframes spin{100%{transform:rotate(360deg)}}.book-search small{opacity:.5}.book-toc{flex:0 0 16rem;font-size:.8rem}.book-toc .book-toc-content{width:16rem;padding:1rem;position:fixed;top:0;bottom:0;overflow-x:hidden;overflow-y:auto}.book-toc img{height:1em;width:1em}.book-toc nav>ul>li:first-child{margin-top:0}.book-footer{padding-top:1rem;font-size:.9rem}.book-footer img{height:1em;width:1em;margin-inline-end:.5rem}.book-comments{margin-top:1rem}.book-languages{margin-block-end:2rem}.book-languages .book-icon{height:1em;width:1em;margin-inline-end:.5em}.book-languages ul{padding-inline-start:1.5em}.book-menu-content,.book-toc-content,.book-page,.book-header aside,.markdown{transition:.2s ease-in-out;transition-property:transform,margin,opacity,visibility;will-change:transform,margin,opacity}@media screen and (max-width:56rem){#menu-control,#toc-control{display:inline}.book-menu{visibility:hidden;margin-inline-start:-16rem;font-size:18px;z-index:1}.book-toc{display:none}.book-header{display:block}#menu-control:focus~main label[for=menu-control]{outline-style:auto;outline-color:currentColor;outline-color:-webkit-focus-ring-color}#menu-control:checked~main .book-menu{visibility:initial}#menu-control:checked~main .book-menu .book-menu-content{transform:translateX(16rem);box-shadow:0 0 .5rem rgba(0,0,0,.1)}#menu-control:checked~main .book-page{opacity:.25}#menu-control:checked~main .book-menu-overlay{display:block;position:absolute;top:0;bottom:0;left:0;right:0}#toc-control:focus~main label[for=toc-control]{outline-style:auto;outline-color:currentColor;outline-color:-webkit-focus-ring-color}#toc-control:checked~main .book-header aside{display:block}body[dir=rtl] #menu-control:checked~main .book-menu .book-menu-content{transform:translateX(-16rem)}}@media screen and (min-width:80rem){.book-page,.book-menu .book-menu-content,.book-toc .book-toc-content{padding:2rem 1rem}}body{font-family:crimson pro,serif}code{font-family:roboto mono,monospace}h1{font-size:1.6rem;font-weight:700!important}h2{font-size:1.4rem}h3{font-size:1.25rem}h4{font-size:1.1rem}h5{font-size:1rem}h6{font-size:.9rem}@media print{.book-menu,.book-footer,.book-toc{display:none}.book-header,.book-header aside{display:block}main{display:block!important}}.markdown{line-height:1.6}.markdown>:first-child{margin-top:0}.markdown h1,.markdown h2,.markdown h3,.markdown h4,.markdown h5,.markdown h6{font-weight:700;line-height:1;margin-top:1.5em;margin-bottom:1rem}.markdown h1 a.anchor,.markdown h2 a.anchor,.markdown h3 a.anchor,.markdown h4 a.anchor,.markdown h5 a.anchor,.markdown h6 a.anchor{opacity:0;font-size:.75em;vertical-align:middle;text-decoration:none}.markdown h1:hover a.anchor,.markdown h1 a.anchor:focus,.markdown h2:hover a.anchor,.markdown h2 a.anchor:focus,.markdown h3:hover a.anchor,.markdown h3 a.anchor:focus,.markdown h4:hover a.anchor,.markdown h4 a.anchor:focus,.markdown h5:hover a.anchor,.markdown h5 a.anchor:focus,.markdown h6:hover a.anchor,.markdown h6 a.anchor:focus{opacity:initial}.markdown h4,.markdown h5,.markdown h6{font-weight:bolder}.markdown h5{font-size:.875em}.markdown h6{font-size:.75em}.markdown b,.markdown optgroup,.markdown strong{font-weight:bolder}.markdown a{text-decoration:none}.markdown a:hover{text-decoration:underline}.markdown a:visited{color:var(--color-visited-link)}.markdown img{max-width:100%;height:auto}.markdown code{direction:ltr;unicode-bidi:embed;padding:0 .25rem;background:var(--gray-200);border-radius:.25rem;font-size:.875em}.markdown pre{direction:ltr;unicode-bidi:embed;padding:1rem;background:var(--gray-100);border-radius:.25rem;overflow-x:auto}.markdown pre code{padding:0;background:0 0}.markdown p{word-wrap:break-word}.markdown blockquote{margin:1rem 0;padding:.5rem 1rem .5rem .75rem;border-inline-start:.25rem solid var(--gray-200);border-radius:.25rem}.markdown blockquote :first-child{margin-top:0}.markdown blockquote :last-child{margin-bottom:0}.markdown table{overflow:auto;display:block;border-spacing:0;border-collapse:collapse;margin-top:1rem;margin-bottom:1rem}.markdown table tr th,.markdown table tr td{padding:.5rem 1rem;border:1px solid var(--gray-200)}.markdown table tr:nth-child(2n){background:var(--gray-100)}.markdown hr{height:1px;border:none;background:var(--gray-200)}.markdown ul,.markdown ol{padding-inline-start:2rem;word-wrap:break-word}.markdown dl dt{font-weight:bolder;margin-top:1rem}.markdown dl dd{margin-inline-start:0;margin-bottom:1rem}.markdown .highlight{direction:ltr;unicode-bidi:embed}.markdown .highlight table tr td:nth-child(1) pre{margin:0;padding-inline-end:0}.markdown .highlight table tr td:nth-child(2) pre{margin:0;padding-inline-start:0}.markdown details{padding:1rem;border:1px solid var(--gray-200);border-radius:.25rem}.markdown details summary{line-height:1;padding:1rem;margin:-1rem;cursor:pointer}.markdown details[open] summary{margin-bottom:0}.markdown figure{margin:1rem 0}.markdown figure figcaption p{margin-top:0}.markdown-inner>:first-child{margin-top:0}.markdown-inner>:last-child{margin-bottom:0}.markdown .book-expand{margin-top:1rem;margin-bottom:1rem;border:1px solid var(--gray-200);border-radius:.25rem;overflow:hidden}.markdown .book-expand .book-expand-head{background:var(--gray-100);padding:.5rem 1rem;cursor:pointer}.markdown .book-expand .book-expand-content{display:none;padding:1rem}.markdown .book-expand input[type=checkbox]:checked+.book-expand-content{display:block}.markdown .book-tabs{margin-top:1rem;margin-bottom:1rem;border:1px solid var(--gray-200);border-radius:.25rem;overflow:hidden;display:flex;flex-wrap:wrap}.markdown .book-tabs label{display:inline-block;padding:.5rem 1rem;border-bottom:1px transparent;cursor:pointer}.markdown .book-tabs .book-tabs-content{order:999;width:100%;border-top:1px solid var(--gray-100);padding:1rem;display:none}.markdown .book-tabs input[type=radio]:checked+label{border-bottom:1px solid var(--color-link)}.markdown .book-tabs input[type=radio]:checked+label+.book-tabs-content{display:block}.markdown .book-tabs input[type=radio]:focus+label{outline-style:auto;outline-color:currentColor;outline-color:-webkit-focus-ring-color}.markdown .book-columns{margin-left:-1rem;margin-right:-1rem}.markdown .book-columns>div{margin:1rem 0;min-width:10rem;padding:0 1rem}.markdown a.book-btn{display:inline-block;font-size:.9rem;color:var(--color-link);line-height:2rem;padding:0 1rem;border:1px solid var(--color-link);border-radius:.25rem;cursor:pointer}.markdown a.book-btn:hover{text-decoration:none}.markdown .book-hint.info{border-color:#5a8d9e;background-color:rgba(90,141,158,.1)}.markdown .book-hint.warning{border-color:#c49a3d;background-color:rgba(196,154,61,.1)}.markdown .book-hint.danger{border-color:#be5454;background-color:rgba(190,84,84,.1)}.markdown .globe-embed{width:100%;max-width:100%;margin:1rem 0;overflow:hidden}.markdown .globe-embed canvas{display:block;width:100%!important;height:100%!important}.citation{font-size:1em;margin:0 2px}.citation a{text-decoration:none;color:var(--color-link);font-weight:700}.citation a:hover{text-decoration:underline}.citation{position:relative;cursor:pointer}.citation::before{content:attr(data-tooltip);position:absolute;bottom:100%;left:50%;transform:translateX(-50%)translateY(5px);background:var(--tooltip-bg);color:var(--tooltip-color);padding:1px 6px;border-radius:2px;font-size:.6em;white-space:normal;width:300px;max-width:80vw;max-height:50vh;overflow-y:auto;-webkit-overflow-scrolling:touch;text-align:left;opacity:0;visibility:hidden;transition:all .2s ease;z-index:9999;pointer-events:auto;box-shadow:var(--tooltop-shadow);line-height:1.4;border:1px solid var(--tooltip-border);overflow-wrap:anywhere;hyphens:auto}.citation:hover::before,.citation:hover::after{opacity:1;visibility:visible;transform:translateX(-50%)translateY(-5px)}.citation.compact-tooltip::before{width:250px;font-size:.75em;padding:6px 10px;background:var(--tooltip-bg);border:1px solid var(--gray-200);border-radius:2px}.citation.compact-tooltip::after{border-top-color:var(--tooltip-bg)}.bibliography{border-top:1px solid var(--gray-200);margin-top:1.5rem;padding-top:.75rem;font-size:.8em;color:var(--body-font-color);line-height:1.2;transition:all .3s ease}.bibliography:hover{color:var(--body-font-color);border-top-color:var(--color-link)}.bibliography h2{font-size:1.1em;color:var(--body-font-color);margin-bottom:.5rem;transition:color .3s ease}.bibliography:hover h2{color:var(--color-link)}.bibliography:hover li{opacity:.75}.bibliography ol{padding-left:1rem;margin:0}.bibliography li{margin-bottom:.35rem;padding-bottom:.15rem;transition:all .2s ease;border-radius:2px;padding:.15rem .25rem;opacity:.5}.bibliography li:hover{background-color:var(--gray-100);color:var(--body-font-color);opacity:1;transform:translateX(2px)}.bibliography li:last-child{margin-bottom:0}.bibliography em{color:var(--body-font-color);opacity:.5;font-style:italic}.bibliography a{color:var(--color-link);text-decoration:none;transition:color .2s ease}.bibliography a:hover{text-decoration:underline;color:var(--color-visited-link)}.bibliography li:hover a{color:var(--color-visited-link)}.citation-error{color:var(--hint-color-danger);font-style:italic}figure.big-figure{position:relative;width:100%;margin-bottom:2rem}figure.big-figure img{width:100%;height:auto;display:block}figure.image-with-source{text-align:center;margin:1rem 0}figure.image-with-source img{max-width:100%;height:auto;border-radius:10px}figure.image-with-source figcaption{font-size:.8rem;font-style:italic;color:var(--gray-500);margin-top:.4rem}.book-post h1 a,.book-post h1 a:visited,.book-post h3 a{color:var(--body-font-color);text-decoration:none}.book-post h3 a:visited{color:var(--color-visited-link)}.post-preview{font-size:.75rem;margin-top:.5rem}.post-preview p{margin:.5em 0}.tm-env{margin:.5em 0;padding:.25rem 1rem;border-left:3px solid var(--gray-200)}.tm-env .tm-env-header{margin:0 0 .5em}.tm-env .tm-env-body{font-style:italic}.tm-env .tm-env-body>:first-child{margin-top:0}.tm-env .tm-env-body>:last-child{margin-bottom:0}.tm-env.tm-env-plain .tm-env-body{font-style:normal}.tm-env-proof{border-left-color:var(--gray-200);background:0 0;padding:.5rem 1rem}.tm-env-proof .tm-env-body{font-style:normal}.tm-env-proof .tm-env-body::after{content:"\25A1";display:block;text-align:right;margin-top:.5em}.tm-env-theorem,.tm-env-lemma,.tm-env-proposition,.tm-env-corollary{border-left-color:var(--color-link)}.tm-env-definition,.tm-env-axiom,.tm-env-notation{border-left-color:var(--gray-500)}.tm-env-example,.tm-env-exercise{border-left-color:var(--gray-300)}.details-collapse{position:relative}.details-collapse-header{position:relative}.details-collapse-toggle{position:absolute;top:0;right:0;background:0 0;border:none;cursor:pointer;padding:.25rem;color:var(--body-font-color);opacity:.35;transition:opacity .2s ease,transform .2s ease;line-height:0}.details-collapse-toggle:hover{opacity:.7}.details-collapse-toggle svg{transition:transform .2s ease}.details-collapse-toggle[aria-expanded=true] svg{transform:rotate(180deg)}.details-collapse-body{display:none;border-top:1px solid var(--gray-200);margin-top:.5rem;padding:.5rem 1rem;background:var(--gray-100);border-radius:.25rem}.details-collapse-body--open{display:block}:root[data-theme=light]{--gray-100:#f6f5f4;--gray-200:#eae8e6;--gray-300:#d6d3d0;--gray-500:#807a76;--color-link:#5a7e92;--color-visited-link:#7a828a;--body-background:white;--body-font-color:#2d2b2a;--icon-filter:none;--hint-color-info:#5a8d9e;--hint-color-warning:#c49a3d;--hint-color-danger:#be5454;--tooltip-bg:var(--body-font-color);--tooltip-color:var(--body-background);--tooltip-border:rgba(255,255,255,0.08);--tooltip-shadow:0 8px 20px rgba(0,0,0,0.35)}:root[data-theme=dark]{--gray-100:rgba(160, 148, 140, 0.08);--gray-200:rgba(160, 148, 140, 0.15);--gray-300:rgba(160, 148, 140, 0.22);--gray-500:rgba(160, 148, 140, 0.4);--color-link:#92b4cc;--color-visited-link:#9ea8b0;--body-background:#0D0D0D;--body-font-color:#e4e2e0;--icon-filter:brightness(0) invert(1);--hint-color-info:#5a8d9e;--hint-color-warning:#c49a3d;--hint-color-danger:#be5454;--tooltip-bg:var(--body-font-color);--tooltip-color:var(--body-background);--tooltip-border:rgba(0,0,0,0.12);--tooltip-shadow:0 8px 24px rgba(0,0,0,0.25)}.theme-toggle{padding:.5rem;border:0;background:var(--body-background);color:var(--body-font-color);line-height:0;cursor:pointer;box-shadow:none;display:inline-flex;align-items:center;justify-content:center}.theme-toggle svg{transition:opacity .2s ease}.theme-toggle:hover{opacity:.8}.theme-toggle--inline{padding:.25rem;background:0 0;opacity:.65}.theme-toggle--inline:hover{opacity:1}.algorithm{margin:1em 0;border-top:1px solid var(--gray-500);border-bottom:1px solid var(--gray-500)}.algorithm .algorithm-header{position:relative;padding:.25rem 0;border-bottom:1px solid var(--gray-200)}.algorithm .algorithm-header .algorithm-title{margin:0}.algorithm .algorithm-toggle{position:absolute;top:0;right:0;background:0 0;border:none;cursor:pointer;padding:.25rem;color:var(--body-font-color);opacity:.35;transition:opacity .2s ease,transform .2s ease;line-height:0}.algorithm .algorithm-toggle:hover{opacity:.7}.algorithm .algorithm-toggle svg{transition:transform .2s ease}.algorithm .algorithm-toggle[aria-expanded=true] svg{transform:rotate(180deg)}.algorithm .algorithm-body{display:none;padding:.25rem 0 .5rem;font-style:normal;line-height:1.5}.algorithm .algorithm-body--open{display:block}.algorithm .algorithm-body>:first-child{margin-top:0}.algorithm .algorithm-body>:last-child{margin-bottom:0}.algorithm .algorithm-body p{margin:0;text-indent:0}.algorithm .algorithm-body .indent{padding-left:1.5em}.algorithm .algorithm-body mjx-container{font-size:100%!important}.description-list .description-item{padding-left:1.5em;text-indent:-1.5em;margin:.25em 0}.brand-row{display:flex;align-items:center;justify-content:space-between;margin-bottom:1rem}.social-links{display:flex;align-items:center;gap:.25rem}a.social-link{display:inline-flex;align-items:center;justify-content:center;padding:.25rem;color:var(--body-font-color);opacity:.65}a.social-link:hover{opacity:1}