@charset "UTF-8";@import "https://fonts.googleapis.com/css2?family=JetBrains+Mono:ital,wght@0,400;0,700;1,400;1,700&family=Noto+Sans+SC:wght@400;700&family=Noto+Serif+SC:wght@400;700&display=swap";@media(prefers-color-scheme:light){:root:not(.dark):not(.light){--primary-color:#000;--secondary-color:#555;--third-color:#999;--bg-color:hsl(210, 20%, 98%);--scrollbar-color:#8F8F8F;--body-color:hsl(0, 5%, 10%);--body-bg-color:hsl(210, 20%, 98%);--link-visited:hsl(0, 100%, 33%);--link-focus-outline:hsl(220, 90%, 52%);--pre-bg-color:hsl(210, 28%, 93%);--kbd-bg-color:hsl(210, 5%, 100%);--kbd-border-color:hsl(210, 5%, 70%);--table-border-color:black;--sidenote-target-border-color:hsl(55, 55%, 70%);--footnotes-border-color:hsl(0, 0%, 39%);--un-ring-offset-shadow:0 0 rgba(0, 0, 0, 0);--un-ring-shadow:0 0 rgba(0, 0, 0, 0);--un-shadow-inset: ;--un-shadow:0 0 rgba(0, 0, 0, 0);--hover-background:#eeeeee;--prism-foreground:#393a34;--prism-background:#fbfbfb;--prism-comment:#b8c4b8;--prism-string:#c67b5d;--prism-literal:#3a9c9b;--prism-keyword:#248459;--prism-function:#849145;--prism-deleted:#a14f55;--prism-class:#2b91af;--prism-builtin:#a52727;--prism-property:#ad502b;--prism-namespace:#c96880;--prism-punctuation:#8e8f8b;--prism-decorator:#bd8f8f;--prism-json-property:#698c96}}@media(prefers-color-scheme:dark){:root:not(.dark):not(.light){--primary-color:#fff;--secondary-color:#bbb;--third-color:#999;--bg-color:hsl(0, 0%, 16%);--body-color:hsl(0, 0%, 86%);--body-bg-color:hsl(0, 0%, 16%);--link-visited:hsl(196 80% 77%);--link-focus-outline:hsl(215, 63%, 73%);--pre-bg-color:hsl(0, 1%, 25%);--kbd-bg-color:hsl(0, 0%, 16%);--kbd-border-color:hsl(210, 5%, 70%);--table-border-color:white;--sidenote-target-border-color:hsl(0, 0%, 59%);--footnotes-border-color:hsl(0, 0%, 59%);--proof-symbol-filter:invert(80%);--un-ring-offset-shadow:0 0 rgba(0, 0, 0, 0);--un-ring-shadow:0 0 rgba(0, 0, 0, 0);--un-shadow-inset: ;--un-shadow:0 0 rgba(0, 0, 0, 0);--hover-background:#333;--prism-foreground:#d4d4d4;--prism-background:#1e1e1e;--prism-namespace:#aaaaaa;--prism-comment:#758575;--prism-namespace:#444444;--prism-string:#ce9178;--prism-punctuation:#d4d4d4;--prism-literal:#36acaa;--prism-keyword:#38a776;--prism-function:#dcdcaa;--prism-deleted:#9a050f;--prism-class:#4ec9b0;--prism-builtin:#d16969;--prism-property:#ce9178;--prism-regex:#ad502b}}:root.dark{--primary-color:#fff;--secondary-color:#bbb;--third-color:#999;--bg-color:hsl(0, 0%, 16%);--body-color:hsl(0, 0%, 86%);--body-bg-color:hsl(0, 0%, 16%);--link-visited:hsl(196 80% 77%);--link-focus-outline:hsl(215, 63%, 73%);--pre-bg-color:hsl(0, 1%, 25%);--kbd-bg-color:hsl(0, 0%, 16%);--kbd-border-color:hsl(210, 5%, 70%);--table-border-color:white;--sidenote-target-border-color:hsl(0, 0%, 59%);--footnotes-border-color:hsl(0, 0%, 59%);--proof-symbol-filter:invert(80%);--un-ring-offset-shadow:0 0 rgba(0, 0, 0, 0);--un-ring-shadow:0 0 rgba(0, 0, 0, 0);--un-shadow-inset: ;--un-shadow:0 0 rgba(0, 0, 0, 0);--hover-background:#333;--prism-foreground:#d4d4d4;--prism-background:#1e1e1e;--prism-namespace:#aaaaaa;--prism-comment:#758575;--prism-namespace:#444444;--prism-string:#ce9178;--prism-punctuation:#d4d4d4;--prism-literal:#36acaa;--prism-keyword:#38a776;--prism-function:#dcdcaa;--prism-deleted:#9a050f;--prism-class:#4ec9b0;--prism-builtin:#d16969;--prism-property:#ce9178;--prism-regex:#ad502b}:root.light{--primary-color:#000;--secondary-color:#555;--third-color:#999;--bg-color:hsl(210, 20%, 98%);--scrollbar-color:#8F8F8F;--body-color:hsl(0, 5%, 10%);--body-bg-color:hsl(210, 20%, 98%);--link-visited:hsl(0, 100%, 33%);--link-focus-outline:hsl(220, 90%, 52%);--pre-bg-color:hsl(210, 28%, 93%);--kbd-bg-color:hsl(210, 5%, 100%);--kbd-border-color:hsl(210, 5%, 70%);--table-border-color:black;--sidenote-target-border-color:hsl(55, 55%, 70%);--footnotes-border-color:hsl(0, 0%, 39%);--un-ring-offset-shadow:0 0 rgba(0, 0, 0, 0);--un-ring-shadow:0 0 rgba(0, 0, 0, 0);--un-shadow-inset: ;--un-shadow:0 0 rgba(0, 0, 0, 0);--hover-background:#eeeeee;--prism-foreground:#393a34;--prism-background:#fbfbfb;--prism-comment:#b8c4b8;--prism-string:#c67b5d;--prism-literal:#3a9c9b;--prism-keyword:#248459;--prism-function:#849145;--prism-deleted:#a14f55;--prism-class:#2b91af;--prism-builtin:#a52727;--prism-property:#ad502b;--prism-namespace:#c96880;--prism-punctuation:#8e8f8b;--prism-decorator:#bd8f8f;--prism-json-property:#698c96}:root{--default-serif-font:'Noto Serif SC', SimSum, serif, var(--default-emoji-font);--default-sans-font:'Noto Sans SC', 'Microsoft YaHei', sans-serif, var(--default-emoji-font);--default-mono-font:'JetBrains Mono', Consolas, 'Monospace Unicode Fallback', monospace, var(--default-emoji-font);--default-kai-font:'LXGW WenKai', 'LXGW WenKai Lite', '霞鹜文楷', 'LXGW WenKai Web Font', STKaiTi, KaiTi, var(--default-serif-font);--default-emoji-font:'Apple Color Emoji', 'Noto Color Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol';--default-latin-font:'Noto Serif', Georgia, Cambria, 'Times New Roman', Times, serif}*{margin:0;padding:0}html,body{line-height:1.5;margin:0;overflow:overlay;padding:0}a,h1,h2,h3,h4,h5,h6,p{font-size:inherit;color:inherit;font-weight:inherit;text-decoration:inherit}button{background:0 0;border:0;cursor:pointer;color:inherit}.relative{position:relative}.static{position:static}.tabsize-2,pre[class*=language-] code{tab-size:2}.color-primary{color:var(--primary-color)}.color-secondary{color:var(--secondary-color)}.py-0{padding-top:0;padding-bottom:0}.px-0{padding-left:0;padding-right:0}.p-0{padding:0}.m-0{margin:0}.w-0{width:0}.h-0{height:0}.my-0{margin-top:0;margin-bottom:0}.mx-0{margin-left:0;margin-right:0}.pt-0{padding-top:0}.mt-0{margin-top:0}.pl-0{padding-left:0}.max-w-0{max-width:0}.text-0{font-size:0}.py-1,.article blockquote{padding-top:.25rem;padding-bottom:.25rem}.px-1{padding-left:.25rem;padding-right:.25rem}.p-1{padding:.25rem}.m-1{margin:.25rem}.w-1{width:.25rem}.h-1{height:.25rem}.my-1{margin-top:.25rem;margin-bottom:.25rem}.mx-1{margin-left:.25rem;margin-right:.25rem}.pt-1{padding-top:.25rem}.mt-1{margin-top:.25rem}.pl-1{padding-left:.25rem}.max-w-1{max-width:.25rem}.text-1{font-size:.25rem}.py-2{padding-top:.5rem;padding-bottom:.5rem}.px-2{padding-left:.5rem;padding-right:.5rem}.p-2{padding:.5rem}.m-2{margin:.5rem}.w-2{width:.5rem}.h-2{height:.5rem}.my-2{margin-top:.5rem;margin-bottom:.5rem}.mx-2{margin-left:.5rem;margin-right:.5rem}.pt-2{padding-top:.5rem}.mt-2{margin-top:.5rem}.pl-2{padding-left:.5rem}.max-w-2{max-width:.5rem}.text-2{font-size:.5rem}.py-3{padding-top:.75rem;padding-bottom:.75rem}.px-3{padding-left:.75rem;padding-right:.75rem}.p-3{padding:.75rem}.m-3{margin:.75rem}.w-3{width:.75rem}.h-3{height:.75rem}.my-3{margin-top:.75rem;margin-bottom:.75rem}.mx-3{margin-left:.75rem;margin-right:.75rem}.pt-3{padding-top:.75rem}.mt-3{margin-top:.75rem}.pl-3{padding-left:.75rem}.max-w-3{max-width:.75rem}.text-3{font-size:.75rem}.py-4{padding-top:1rem;padding-bottom:1rem}.px-4{padding-left:1rem;padding-right:1rem}.p-4,pre[class*=language-]{padding:1rem}.m-4{margin:1rem}.w-4{width:1rem}.h-4{height:1rem}.my-4{margin-top:1rem;margin-bottom:1rem}.mx-4{margin-left:1rem;margin-right:1rem}.pt-4{padding-top:1rem}.mt-4{margin-top:1rem}.pl-4{padding-left:1rem}.max-w-4{max-width:1rem}.text-4,.article h5,.article p{font-size:1rem}.py-5{padding-top:1.25rem;padding-bottom:1.25rem}.px-5,.article blockquote{padding-left:1.25rem;padding-right:1.25rem}.p-5{padding:1.25rem}.m-5{margin:1.25rem}.w-5{width:1.25rem}.h-5{height:1.25rem}.my-5{margin-top:1.25rem;margin-bottom:1.25rem}.mx-5{margin-left:1.25rem;margin-right:1.25rem}.pt-5{padding-top:1.25rem}.mt-5{margin-top:1.25rem}.pl-5{padding-left:1.25rem}.max-w-5{max-width:1.25rem}.text-5,.article h4{font-size:1.25rem}.py-6{padding-top:1.5rem;padding-bottom:1.5rem}.px-6{padding-left:1.5rem;padding-right:1.5rem}.p-6{padding:1.5rem}.m-6{margin:1.5rem}.w-6{width:1.5rem}.h-6{height:1.5rem}.my-6,.article blockquote,.article h5,.article h4,.article h3,.article p,pre[class*=language-]{margin-top:1.5rem;margin-bottom:1.5rem}.mx-6{margin-left:1.5rem;margin-right:1.5rem}.pt-6{padding-top:1.5rem}.mt-6{margin-top:1.5rem}.pl-6{padding-left:1.5rem}.max-w-6{max-width:1.5rem}.text-6,.article h3{font-size:1.5rem}.py-7{padding-top:1.75rem;padding-bottom:1.75rem}.px-7{padding-left:1.75rem;padding-right:1.75rem}.p-7{padding:1.75rem}.m-7{margin:1.75rem}.w-7{width:1.75rem}.h-7{height:1.75rem}.my-7{margin-top:1.75rem;margin-bottom:1.75rem}.mx-7{margin-left:1.75rem;margin-right:1.75rem}.pt-7{padding-top:1.75rem}.mt-7{margin-top:1.75rem}.pl-7{padding-left:1.75rem}.max-w-7{max-width:1.75rem}.text-7,.article h2{font-size:1.75rem}.py-8{padding-top:2rem;padding-bottom:2rem}.px-8{padding-left:2rem;padding-right:2rem}.p-8{padding:2rem}.m-8{margin:2rem}.w-8{width:2rem}.h-8{height:2rem}.my-8,.article h2,.article h1{margin-top:2rem;margin-bottom:2rem}.mx-8{margin-left:2rem;margin-right:2rem}.pt-8{padding-top:2rem}.mt-8{margin-top:2rem}.pl-8,.article ol,.article ul{padding-left:2rem}.max-w-8{max-width:2rem}.text-8,.article h1{font-size:2rem}.py-9{padding-top:2.25rem;padding-bottom:2.25rem}.px-9{padding-left:2.25rem;padding-right:2.25rem}.p-9{padding:2.25rem}.m-9{margin:2.25rem}.w-9{width:2.25rem}.h-9{height:2.25rem}.my-9{margin-top:2.25rem;margin-bottom:2.25rem}.mx-9{margin-left:2.25rem;margin-right:2.25rem}.pt-9{padding-top:2.25rem}.mt-9{margin-top:2.25rem}.pl-9{padding-left:2.25rem}.max-w-9{max-width:2.25rem}.text-9{font-size:2.25rem}.py-10{padding-top:2.5rem;padding-bottom:2.5rem}.px-10{padding-left:2.5rem;padding-right:2.5rem}.p-10{padding:2.5rem}.m-10{margin:2.5rem}.w-10{width:2.5rem}.h-10{height:2.5rem}.my-10{margin-top:2.5rem;margin-bottom:2.5rem}.mx-10{margin-left:2.5rem;margin-right:2.5rem}.pt-10{padding-top:2.5rem}.mt-10{margin-top:2.5rem}.pl-10{padding-left:2.5rem}.max-w-10{max-width:2.5rem}.text-10{font-size:2.5rem}.py-11{padding-top:2.75rem;padding-bottom:2.75rem}.px-11{padding-left:2.75rem;padding-right:2.75rem}.p-11{padding:2.75rem}.m-11{margin:2.75rem}.w-11{width:2.75rem}.h-11{height:2.75rem}.my-11{margin-top:2.75rem;margin-bottom:2.75rem}.mx-11{margin-left:2.75rem;margin-right:2.75rem}.pt-11{padding-top:2.75rem}.mt-11{margin-top:2.75rem}.pl-11{padding-left:2.75rem}.max-w-11{max-width:2.75rem}.text-11{font-size:2.75rem}.py-12{padding-top:3rem;padding-bottom:3rem}.px-12{padding-left:3rem;padding-right:3rem}.p-12{padding:3rem}.m-12{margin:3rem}.w-12{width:3rem}.h-12{height:3rem}.my-12{margin-top:3rem;margin-bottom:3rem}.mx-12{margin-left:3rem;margin-right:3rem}.pt-12{padding-top:3rem}.mt-12{margin-top:3rem}.pl-12{padding-left:3rem}.max-w-12{max-width:3rem}.text-12{font-size:3rem}.py-20{padding-top:5rem;padding-bottom:5rem}.px-20{padding-left:5rem;padding-right:5rem}.p-20{padding:5rem}.m-20{margin:5rem}.w-20{width:5rem}.h-20{height:5rem}.my-20{margin-top:5rem;margin-bottom:5rem}.mx-20{margin-left:5rem;margin-right:5rem}.pt-20{padding-top:5rem}.mt-20{margin-top:5rem}.pl-20{padding-left:5rem}.max-w-20{max-width:5rem}.text-20{font-size:5rem}.py-30{padding-top:7.5rem;padding-bottom:7.5rem}.px-30{padding-left:7.5rem;padding-right:7.5rem}.p-30{padding:7.5rem}.m-30{margin:7.5rem}.w-30{width:7.5rem}.h-30{height:7.5rem}.my-30{margin-top:7.5rem;margin-bottom:7.5rem}.mx-30{margin-left:7.5rem;margin-right:7.5rem}.pt-30{padding-top:7.5rem}.mt-30{margin-top:7.5rem}.pl-30{padding-left:7.5rem}.max-w-30{max-width:7.5rem}.text-30{font-size:7.5rem}.py-240{padding-top:60rem;padding-bottom:60rem}.px-240{padding-left:60rem;padding-right:60rem}.p-240{padding:60rem}.m-240{margin:60rem}.w-240{width:60rem}.h-240{height:60rem}.my-240{margin-top:60rem;margin-bottom:60rem}.mx-240{margin-left:60rem;margin-right:60rem}.pt-240{padding-top:60rem}.mt-240{margin-top:60rem}.pl-240{padding-left:60rem}.max-w-240{max-width:60rem}.text-240{font-size:60rem}.w-auto{width:auto}.w-full,.article table,.article textarea,pre[class*=language-] code{width:100%}.h-auto,.article img{height:auto}.h-full{height:100%}.mx{margin-left:1rem;margin-right:1rem}.mx-20{margin-left:5rem;margin-right:5rem}.mx-5{margin-left:1.25rem;margin-right:1.25rem}.mb-20{margin-bottom:5rem}.ml{margin-left:1rem}.mr{margin-right:1rem}.mt-5{margin-top:1.25rem}.inline{display:inline}.inline-block{display:inline-block}.hidden{display:none}.h1{height:.25rem}.h2{height:.5rem}.max-w-210{max-width:52.5rem}.max-w-240{max-width:60rem}.min-h-70vh{min-height:70vh}.w-12{width:3rem}.w-full,.article table,.article textarea,pre[class*=language-] code{width:100%}.w0{width:0}.wa{width:auto}.flex{display:flex}.basis-full{flex-basis:100%}.flex-wrap{flex-wrap:wrap}.items-stretch{align-items:stretch}.self-center{align-self:center}.justify-center{justify-content:center}.items-center{align-items:center}.items-end{align-items:end}.justify-between{justify-content:space-between}.whitespace-nowrap{white-space:nowrap}.text-justify,.article p{text-align:justify}.block,.article img,pre[class*=language-]{display:block}.decoration-none,.article a,.article a:visited{text-decoration:none}.border-collapse,.article table{border-collapse:collapse}.max-w-full,.article img{max-width:100%}.b-l-2{border-left-width:2px;border-left-style:solid}.overflow-x-auto,.article table,pre[class*=language-]{overflow-x:auto}.break-anywhere,.article a,.article a:visited{overflow-wrap:anywhere}.b-area{border-color:var(--area-color)}.rd{border-radius:.25rem}.py{padding-top:1rem;padding-bottom:1rem}.py-5{padding-top:1.25rem;padding-bottom:1.25rem}.pl-0{padding-left:0}.pl-4{padding-left:1rem}.pl-5{padding-left:1.25rem}.pt-1{padding-top:.25rem}.text-center{text-align:center}.font-bold,.article h1,.article h2,.article h3,.article h4{font-weight:700}.font-normal{font-weight:400}.font-inherit,.article input,.article button,.article textarea,.article select{font:inherit}.shadow{--un-shadow:var(--un-shadow-inset) 0 1px 3px 0 var(--un-shadow-color, rgba(0, 0, 0, 0.1)), var(--un-shadow-inset) 0 1px 2px -1px var(--un-shadow-color, rgba(0, 0, 0, 0.1));box-shadow:var(--un-ring-offset-shadow),var(--un-ring-shadow),var(--un-shadow)}.font-serif{font-family:var(--default-serif-font)}.font-mono,.article code,.article pre,.article kbd{font-family:var(--default-mono-font)}.hover-bg{transition:background-color .3s linear}.hover-bg:hover{background-color:var(--hover-background)}.underline,.article a:hover,.a-underline a{box-shadow:0 1px}@media print{.print\:block{display:block}.print\:hidden{display:none}}@media(min-width:40em){.sm\:mt-0{margin-top:0}.sm\:basis-auto{flex-basis:auto}.sm\:basis-full{flex-basis:100%}.sm\:flex-nowrap{flex-wrap:nowrap}.sm\:justify-between{justify-content:space-between}.sm\:mt-0{margin-top:0}}@use "small.scss";:root{background-color:var(--bg-color);color:var(--primary-color);font-family:var(--default-serif-font)}.i-carbon-automatic,.i-carbon-lighting,.i-carbon-moon,.i-carbon-sun{mask:var(--un-icon)no-repeat;-webkit-mask:var(--un-icon)no-repeat;mask-size:100% 100%;-webkit-mask-size:100% 100%;background-color:currentColor;color:inherit;width:1.2em;height:1.2em}.i-carbon-sun{--un-icon:url("data:image/svg+xml;utf8,%3Csvg viewBox='0 0 32 32' width='1.2em' height='1.2em' xmlns='http://www.w3.org/2000/svg' %3E%3Cpath fill='currentColor' d='M16 12.005a4 4 0 1 1-4 4a4.005 4.005 0 0 1 4-4m0-2a6 6 0 1 0 6 6a6 6 0 0 0-6-6ZM5.394 6.813L6.81 5.399l3.505 3.506L8.9 10.319zM2 15.005h5v2H2zm3.394 10.193L8.9 21.692l1.414 1.414l-3.505 3.506zM15 25.005h2v5h-2zm6.687-1.9l1.414-1.414l3.506 3.506l-1.414 1.414zm3.313-8.1h5v2h-5zm-3.313-6.101l3.506-3.506l1.414 1.414l-3.506 3.506zM15 2.005h2v5h-2z'/%3E%3C/svg%3E")}.i-carbon-moon{--un-icon:url("data:image/svg+xml;utf8,%3Csvg viewBox='0 0 32 32' width='1.2em' height='1.2em' xmlns='http://www.w3.org/2000/svg' %3E%3Cpath fill='currentColor' d='M13.502 5.414a15.075 15.075 0 0 0 11.594 18.194a11.113 11.113 0 0 1-7.975 3.39c-.138 0-.278.005-.418 0a11.094 11.094 0 0 1-3.2-21.584M14.98 3a1.002 1.002 0 0 0-.175.016a13.096 13.096 0 0 0 1.825 25.981c.164.006.328 0 .49 0a13.072 13.072 0 0 0 10.703-5.555a1.01 1.01 0 0 0-.783-1.565A13.08 13.08 0 0 1 15.89 4.38A1.015 1.015 0 0 0 14.98 3Z'/%3E%3C/svg%3E")}.i-carbon-lighting{--un-icon:url("data:image/svg+xml;utf8,%3Csvg xmlns='http://www.w3.org/2000/svg' width='1em' height='1em' viewBox='0 0 32 32'%3E%3Cpath fill='currentColor' d='M11.61 29.92a1 1 0 0 1-.6-1.07L12.83 17H8a1 1 0 0 1-1-1.23l3-13A1 1 0 0 1 11 2h10a1 1 0 0 1 .78.37a1 1 0 0 1 .2.85L20.25 11H25a1 1 0 0 1 .9.56a1 1 0 0 1-.11 1l-13 17A1 1 0 0 1 12 30a1.09 1.09 0 0 1-.39-.08ZM17.75 13l2-9H11.8L9.26 15h5.91l-1.59 10.28L23 13Z'/%3E%3C/svg%3E")}.i-carbon-automatic{--un-icon:url("data:image/svg+xml;utf8,%3Csvg xmlns='http://www.w3.org/2000/svg' width='32' height='32' viewBox='0 0 32 32'%3E%3Cpath fill='currentColor' d='M26 16h-4a2.002 2.002 0 0 0-2 2v12h2v-5h4v5h2V18a2.002 2.002 0 0 0-2-2zm-4 7v-5h4v5zm-6 4a10.986 10.986 0 0 1-9.216-5H12v-2H4v8h2v-3.685A13.024 13.024 0 0 0 16 29zm4-17h5.215A10.997 10.997 0 0 0 5 16H3a13.005 13.005 0 0 1 23-8.315V4h2v8h-8z'/%3E%3C/svg%3E")}pre[class*=language-]{border:2px solid var(--primary-color)}pre[class*=language-] code{font-size:.85rem}pre[class*=language-] code .foreground{color:var(--prism-foreground)}pre[class*=language-] code .background{color:var(--prism-background)}pre[class*=language-] code .comment{color:var(--prism-comment)}pre[class*=language-] code .string{color:var(--prism-string)}pre[class*=language-] code .literal{color:var(--prism-literal)}pre[class*=language-] code .keyword{color:var(--prism-keyword)}pre[class*=language-] code .function{color:var(--prism-function)}pre[class*=language-] code .deleted{color:var(--prism-deleted)}pre[class*=language-] code .class{color:var(--prism-class)}pre[class*=language-] code .builtin{color:var(--prism-builtin)}pre[class*=language-] code .property{color:var(--prism-property)}pre[class*=language-] code .namespace{color:var(--prism-namespace)}pre[class*=language-] code .punctuation{color:var(--prism-punctuation)}pre[class*=language-] code .decorator{color:var(--prism-decorator)}pre[class*=language-] code .json-property{color:var(--prism-json-property)}.article{counter-reset:theorem definition sidenote-counter}.article a,.article a:visited{text-decoration-skip-ink:auto;color:var(--link-visited)}.article .katex-display{overflow:auto hidden}.article table{border-color:var(--table-border-color);counter-increment:caption}.article table tr>th[scope=col]{border-color:var(--table-border-color)}.article table tr>th[scope=row]{border-color:var(--table-border-color)}.article table>tbody>tr:first-child>td,.article table>tbody>tr:first-child>th{border-color:var(--table-border-color)}.article table>tbody>tr:last-child>td,.article table>tbody>tr:last-child>th{border-color:var(--table-border-color)}.article th,.article td{padding:.5rem;line-height:1.1}.article caption{text-align:left;font-size:.923em;padding:0 .25em .25em;width:100%;margin-left:0}.article caption::before{content:"Table " counter(caption)". ";font-weight:700}.article blockquote{background-color:var(--hover-background);border-inline-start:5px solid var(--primary-color)}.article .scroll-wrapper{overflow-x:auto}.article .scroll-wrapper>table td{white-space:nowrap}.article nav ol{counter-reset:item}.article nav li{display:block}.article nav li:before{content:counters(item,".")" ";counter-increment:item;padding-right:.85rem;font-weight:inherit;color:var(--link-visited)}.article dl dd{text-align:center}.article div.theorem{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.article div.theorem::before{content:"Theorem " counter(theorem)". ";font-weight:700;font-style:normal}.article div.lemma{counter-increment:theorem;display:block;margin:12px 0;font-style:italic}.article div.lemma::before{content:"Lemma " counter(theorem)". ";font-weight:700;font-style:normal}.article div.proof{display:block;margin:12px 0;font-style:normal;position:relative}.article div.proof::before{content:"Proof. " attr(title);font-style:italic}.article div.proof:after{content:'◾️';filter:var(--proof-symbol-filter);position:absolute;right:-12px;bottom:-2px}.article div.definition{counter-increment:definition;display:block;margin:12px 0;font-style:normal}.article div.definition::before{content:"Definition " counter(definition)". ";font-weight:700;font-style:normal}.article .author{margin:.85rem 0;font-variant-caps:small-caps;text-align:center}.article .sidenote{font-size:.8rem;float:right;clear:right;width:18vw;margin-right:-20vw;margin-bottom:1em}.article .sidenote.left{float:left;margin-left:-20vw;margin-bottom:1em}.article .sidenote:target{border:var(--sidenote-target-border-color)1.5px solid;padding:0 .5rem;scroll-margin-block-start:10rem}.article .sidenote-number{counter-increment:sidenote-counter}.article .sidenote-number::after,.article .sidenote::before{position:relative;vertical-align:baseline}.article .sidenote-number::after{content:counter(sidenote-counter);font-size:.7rem;top:-.5rem;left:.1rem}.article .sidenote-number~.sidenote::before{content:counter(sidenote-counter)" ";font-size:.7rem;top:-.5rem}.article label.sidenote-toggle:not(.sidenote-number){display:none}.article blockquote .sidenote{margin-right:-24vw;width:18vw}.article label.sidenote-toggle{display:inline;cursor:pointer}.article input.sidenote-toggle{display:none}@media(max-width:1050px){.article{}.article label.sidenote-toggle:not(.sidenote-number){display:inline}.article .sidenote{display:none}.article .sidenote-toggle:checked+.sidenote{display:block;margin:.5rem 1.25rem 1rem .5rem;float:left;left:1rem;clear:both;width:95%}.article blockquote .sidenote{margin-right:-25vw;width:16vw}}.article .footnotes p{text-align:left;line-height:1.5;font-size:85%;margin-bottom:.4rem}.article .footnotes{border-top:1px solid var(--footnotes-border-color)}.article .abstract,.article .abstract p{text-align:center;margin-top:0}.article .abstract{margin:2.25rem 0}.article .abstract>h2{font-size:1rem;margin-bottom:-.2rem}.article .latex span:nth-child(1){text-transform:uppercase;font-size:.75em;vertical-align:.28em;margin-left:-.48em;margin-right:-.15em;line-height:1ex}.article .latex span:nth-child(2){text-transform:uppercase;vertical-align:-.5ex;margin-left:-.1667em;margin-right:-.125em;line-height:1ex}