@font-face{font-family:Crimson Text;font-style:normal;font-weight:400;src:local("Crimson Text Regular"),local("CrimsonText-Regular"),url(/assets/CrimsonText-Regular.DZtWrLVA.woff2) format("woff2"),url(/assets/CrimsonText-Regular.CU9O3y0l.ttf) format("truetype")}@font-face{font-family:Crimson Text;font-style:italic;font-weight:400;src:local("Crimson Text Italic"),local("CrimsonText-Italic"),url(/assets/CrimsonText-Italic.0pBbgc3M.woff2) format("woff2"),url(/assets/CrimsonText-Italic.-K2BMURp.ttf) format("truetype")}@font-face{font-family:Crimson Text;font-style:normal;font-weight:700;src:local("Crimson Text Bold"),local("CrimsonText-Bold"),url(/assets/CrimsonText-Bold.DPUPBe4c.woff2) format("woff2"),url(/assets/CrimsonText-Bold.DbXyDLoQ.ttf) format("truetype")}*,*:before,*:after{box-sizing:inherit}html{box-sizing:border-box;font-size:100%;-webkit-text-size-adjust:none;text-size-adjust:none}body,form,fieldset,legend{margin:0;padding:0}button,input,select,textarea,label{margin:0;padding:0;font-family:inherit;font-size:inherit}img{border:0;max-width:100%}body{font-size:17px;color:#000;font-family:Crimson Text,Georgia,serif;line-height:1.75}h1{padding:0;margin:80px 0 30px;line-height:1.25;text-align:center;font-size:32px;font-weight:400}h2{padding:0;margin:80px 0 30px;line-height:1.25;text-align:center;font-size:22px;font-weight:700}h2.underline{padding:0 0 5px;margin:80px 0 35px;line-height:1.25;text-align:left;font-size:22px;font-weight:700;border-bottom:1px solid #ccc}h3,h4,h5,h6{padding:0;margin:80px 0 30px;line-height:1.25;text-align:left;font-size:19px;font-weight:700}p{margin:25px 0;padding:0;overflow-wrap:break-word}blockquote{margin:40px 0;padding:0 20px;border-left:3px solid #ddd;font-style:italic}.blockquote-caption{margin:-10px 20px 40px;text-align:right}abbr[title]{border-bottom:1px dotted;cursor:help}sup,sub{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sup{bottom:1.5ex;padding:0 .5ex}sub{top:.5ex}pre,code{font-size:13px;font-family:Consolas,monospace}code{margin:0 2px;padding:1px 5px;white-space:nowrap;border:1px solid #e8e8e8;border-radius:3px;background-color:#f8f8f8}pre{margin:40px 0;padding:16px 20px;border-top:1px dotted #bbb;border-bottom:1px dotted #bbb;background-color:#f8f8f8;overflow:auto;line-height:1.4}pre code{margin:0;padding:0;white-space:pre;border:none;border-radius:0;background-color:#f8f8f8}h1 code{font-size:26px}ul,ol{margin:35px 0;padding:0 0 0 20px}ul ul,ol ol,ul ol,ol ul{margin:10px}li{margin:4px 0;padding:0}dl{margin:40px 0;padding:0}dt{margin:45px 0 25px;padding:0;font-weight:700}dd{margin:25px 0;padding:0 25px;border-left:1px solid #ddd}a{color:#3465a4;text-decoration:none;padding-bottom:2px;border-bottom:1px solid}sup a{border-bottom:none}hr{display:block;height:1px;border:0;border-top:1px solid;margin:60px auto;padding:0;max-width:300px}img{margin:40px auto;display:block}body{margin:0;padding:0}.graphite-page{width:960px;margin:0 auto;padding:40px 0}.graphite-page:after{content:"";display:table;clear:both}.masthead{width:360px;padding:20px 50px;float:left}.main{width:600px;padding:32px 50px 40px;margin-left:360px;border-left:3px solid black;min-height:calc(100vh - 80px)}.masthead h1{margin-top:0;margin-bottom:34px;padding:0;text-align:right;font-size:46px;line-height:58px}.masthead h1 a{border-bottom:none}.masthead .tagline,.masthead .version{font-style:italic;text-align:right}.masthead .menu{margin-right:20px;direction:rtl}.masthead .menu a{direction:ltr}.masthead .menu ul ul{list-style:none;margin-left:10px;margin-right:10px}.masthead .menu li li:before{content:"•\a  "}#menu-check,#menu-label{display:none}.main .title h1{margin-top:0;margin-bottom:40px}.main .title .subtitle{font-style:italic;text-align:center}.main .title .author{font-style:italic;text-align:center;color:#666}.main .title hr{margin:50px auto 60px}.main>:last-child{margin-bottom:0}.infobox,.alertbox{margin:40px 20px;border:1px solid;padding:0 25px;border-radius:3px;border-color:#bbb;background-color:#f8f8f8}.infobox.blue,.alertbox.info{border-color:#bac6d3;background-color:#e2eef9}.infobox.yellow,.alertbox.warning{border-color:#dfd8c2;background-color:#fff9ea}.infobox.red,.alertbox.error{border-color:#d2b2b2;background-color:#fcdede}.infobox.green,.alertbox.success{border-color:#b2c2ab;background-color:#def2d6}.footnote a:before{content:"["}.footnote a:after{content:"]"}.footnote a{border:none}.footnotes dt{display:table-cell;width:30px;text-align:right;font-weight:400}.footnotes dt a{padding:0;border:none}.footnotes dt a:before{content:"["}.footnotes dt a:after{content:"]"}.footnotes dd{display:table-cell;padding-left:20px;padding-right:0;border:none}.footnotes dd :first-child{margin-top:0}.footnotes div:last-child dd :last-child{margin-bottom:0}.footnotes pre{margin:30px 0}table{font-size:16px;border-collapse:collapse;border-spacing:0;margin:50px 0;width:100%}thead,tfoot{background-color:#f8f8f8}th,td{border:1px solid #ccc;padding:14px 20px;text-align:left}.small{font-size:16px}.left{text-align:left}.right{text-align:right}.center{text-align:center}.justify{text-align:justify}.bold{font-weight:700}.italic{font-style:italic}.indent{padding-left:30px;padding-right:30px}.unselectable{-webkit-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none}body.extra-deflist-vspace dt{margin-top:80px}@media screen and (max-width: 960px){.graphite-page{width:auto;max-width:680px;padding-top:60px}.masthead{width:auto;float:none;padding:60px 20px;text-align:center;margin-left:40px;margin-right:40px;border-top:3px solid black;border-bottom:3px solid black}.main{width:auto;padding:40px;margin-left:0;border-left:none;min-height:auto}.masthead h1{text-align:center}.masthead .tagline{text-align:center;max-width:450px;margin-left:auto;margin-right:auto;display:none}.homepage .masthead .tagline{display:block}.masthead .version{text-align:center}.masthead .menu{direction:ltr;max-width:300px;margin-left:auto;margin-right:auto}.masthead .menu ul{text-align:left;margin:0;padding:0}.masthead .menu ul ul{margin:0}.masthead .menu li{border-bottom:1px solid;list-style:none;margin:0;padding:0}.masthead .menu li:first-child{border-top:1px solid}.masthead .menu li li:last-child{border-bottom:none}.masthead .menu a{display:block;padding:15px 20px;border-bottom:none}.masthead .menu li li a{padding-left:30px}.masthead .menu li li:before{content:none}.masthead .menu li li a:before{content:"•   "}#menu-label{display:inline-block;padding:0 20px;height:50px;border:1px solid #ddd;cursor:pointer;line-height:50px;color:#333;font-size:20px;margin-top:10px}#menu-label:hover,#menu-label:focus{border:1px solid #888}#menu-label .icon{padding-right:8px;width:30px}#menu-check~label .close-icon{display:none}#menu-check~label .open-icon{display:inline-block}#menu-check:checked~label .close-icon{display:inline-block}#menu-check:checked~label .open-icon{display:none}#menu-check~ul{display:none}#menu-check:checked~ul{display:block;margin-top:50px;margin-bottom:0}}@media screen and (max-width: 480px){body{font-size:16px}.graphite-page{padding-top:40px}h1{font-size:28px}h2{font-size:18px}h3,h4,h5,h6{font-size:16px}h1 code{font-size:24px}pre,code{font-size:12px}.small{font-size:15px}}.image-zoom-overlay{position:fixed;top:0;left:0;width:100%;height:100%;background-color:#000000e6;z-index:9999;display:flex;align-items:center;justify-content:center;opacity:0;visibility:hidden;transition:opacity .3s ease,visibility .3s ease}.image-zoom-overlay.active{opacity:1;visibility:visible}.image-zoom-container{position:relative;max-width:90vw;max-height:90vh;display:flex;align-items:center;justify-content:center}.image-zoom-img{max-width:90vw;max-height:90vh;width:auto;height:auto;object-fit:contain;border-radius:4px;box-shadow:0 4px 20px #00000080}.image-zoom-close{position:absolute;top:-40px;right:0;background:none;border:none;color:#fff;font-size:36px;cursor:pointer;padding:0;width:40px;height:40px;line-height:40px;text-align:center;transition:opacity .2s ease}.image-zoom-close:hover{opacity:.7}@media screen and (max-width: 960px){.image-zoom-close{top:10px;right:10px}}@media screen and (max-width: 480px){.image-zoom-container,.image-zoom-img{max-width:95vw;max-height:95vh}}.arithmatex{overflow-x:auto;overflow-y:hidden}article.main .katex-display{margin:1.5em 0;overflow-x:auto;overflow-y:hidden}article.main .katex{font-size:1.05em}:root{--vp-c-bg: #fff;--vp-c-text-1: #000;--vp-font-family-base: "Crimson Text", Georgia, serif;--vp-font-family-mono: Consolas, monospace}html,body{margin:0!important;padding:0!important;width:100%!important;max-width:none!important;min-width:0!important;min-height:0!important;background:#fff!important;color:#000;font-size:17px;font-family:Crimson Text,Georgia,serif;line-height:1.75}#app{display:block!important;margin:0!important;padding:0!important;width:100%!important;max-width:none!important;min-height:0!important;background:transparent!important;font:inherit;color:inherit}.vp-doc,.vp-doc>div{padding:0!important;max-width:none!important}.Layout,.VPContent,.VPDoc{display:contents}article.main li>p{margin:0;padding:0}article.main li>p+p{margin-top:25px}article.main>div>br{display:block;margin:1.25em 0;content:"";height:0;line-height:2.5em;clear:both}article.main div[class*=language-]{margin:40px 0;border-top:1px dotted #bbb;border-bottom:1px dotted #bbb;background-color:#f8f8f8;overflow:auto}article.main div[class*=language-] pre{margin:0;padding:16px 20px;border:none;background:transparent!important}article.main div[class*=language-] code{border:none;background:transparent!important;white-space:pre;padding:0;margin:0;font-size:13px;font-family:Consolas,monospace;line-height:1.4}article.main .lang,article.main button.copy{display:none}article.main .header-anchor{display:none!important}article.main mjx-container{overflow-x:auto;max-width:100%}#giscus-host{clear:both;width:600px;margin-left:360px;padding:0 50px 40px;box-sizing:border-box}@media screen and (max-width: 960px){#giscus-host{width:auto;margin-left:0;padding:0 40px 40px}}