@font-face{font-family:"JetBrains Mono";src:url("/fonts/JetBrainsMono-Regular.woff2") format("woff2"),url("/fonts/JetBrainsMono-Regular.woff") format("woff");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:"JetBrains Mono";src:url("/fonts/JetBrainsMono-Bold.woff2") format("woff2"),url("/fonts/JetBrainsMono-Bold.woff") format("woff");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:"JetBrains Mono";src:url("/fonts/JetBrainsMono-Italic.woff2") format("woff2"),url("/fonts/JetBrainsMono-Italic.woff") format("woff");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:"JetBrains Mono";src:url("/fonts/JetBrainsMono-BoldItalic.woff2") format("woff2"),url("/fonts/JetBrainsMono-BoldItalic.woff") format("woff");font-weight:700;font-style:italic;font-display:swap}:root{--rosewater: #f2d5cf;--flamingo: #eebebe;--pink: #f4b8e4;--mauve: #ca9ee6;--red: #e78284;--maroon: #ea999c;--peach: #ef9f76;--yellow: #e5c890;--green: #a6d189;--teal: #81c8be;--sky: #99d1db;--sapphire: #85c1dc;--blue: #8caaee;--lavender: #babbf1;--text: #c6d0f5;--subtext1: #b5bfe2;--subtext0: #a5adce;--overlay2: #949cbb;--overlay1: #838ba7;--overlay0: #737994;--surface2: #626880;--surface1: #51576d;--surface0: #414559;--base: #303446;--mantle: #292c3c;--crust: #232634}html,body{background-color:var(--base);color:var(--text);margin:0;padding:0;line-height:1.6}body,html,h1,h2,h3,h4,h5,h6,p,span,div,a,button,input,textarea,code,pre{font-family:"JetBrains Mono",monospace !important}h1{color:var(--blue);font-size:2.1em;margin-top:1.5em;margin-bottom:.75em;font-weight:700}h2{color:var(--mauve);margin-top:1.25em;margin-bottom:.5em;font-weight:700}h3{color:var(--lavender);margin-top:1em;margin-bottom:.4em;font-weight:700}h4{color:var(--rosewater);margin-top:.75em;margin-bottom:.4em;font-weight:700}h5,h6{color:var(--subtext1);margin-top:.5em;margin-bottom:.3em;font-weight:700}em,i{color:var(--green);font-style:italic}img{display:block;max-width:80%;margin:0 auto 1em auto;outline:none}.theme-dark img{mix-blend-mode:screen;filter:opacity(1)}.theme-light img{mix-blend-mode:multiply;filter:opacity(0.95)}.theme-dark .popover.hover-popover .markdown-preview-view img{mix-blend-mode:screen}.theme-light .popover.hover-popover .markdown-preview-view img{mix-blend-mode:multiply}.theme-dark span[src$=invert_B] img{filter:invert(1) hue-rotate(180deg)}.theme-light span[src$="#invert_W"] img{filter:invert(1) hue-rotate(180deg)}.theme-dark span[src$=invert_B_C] img{filter:invert(1) hue-rotate(180deg) contrast(1.5)}.theme-light span[src$="#invert_W_C"] img{filter:invert(1) hue-rotate(180deg) contrast(1.45)}.MathJax{font-size:1.16em}.theme-dark .markdown-source-view img,.theme-dark .markdown-preview-view img{opacity:.85;transition:opacity .25s linear}.theme-dark .markdown-source-view img:hover,.theme-dark .markdown-preview-view img:hover{opacity:1;transition:opacity .25s linear}img[src$="#circle"]:not(.emoji),span[src$="#circle"] img:not(.emoji){border-radius:50%;aspect-ratio:1/1}img[src$="#outline"],div[src$="#outline"] img,span[src$="#outline"] img{border:1px solid var(--overlay1)}img[src$="#interface"],span[src$="#interface"] img{border:1px solid var(--overlay1);box-shadow:0 .5px .9px rgba(0, 0, 0, 0.02),0 1.3px 2.5px rgba(0, 0, 0, 0.03),0 3px 6px rgba(0, 0, 0, 0.04),0 10px 20px rgba(0, 0, 0, 0.06);margin:10px 0 15px;border-radius:8px}div.ps-root{background-color:var(--mantle);color:var(--text)}::selection{background:var(--mauve);color:var(--base)}nav a{display:block;margin-bottom:.5em}.content{max-width:800px;margin-left:auto;margin-right:auto;padding-top:2em}p{margin-bottom:1em}.math-booster-new-feature>p{color:var(--text-warning);margin:0}.math-booster-version-2-release-note-modal{--table-border-width: 2px}.editor-suggest-setting-indented-heading{margin-left:var(--size-4-1)}.editor-suggest-setting-indented-heading+.setting-item,.editor-suggest-setting-indented-heading+.setting-item+.setting-item{margin-left:var(--size-4-3)}.math-booster-modal-top{padding:var(--size-4-3)}.math-booster-modal-top .setting-item{border-top:none;border-bottom:1px solid var(--background-modifier-border)}.math-booster-setting-item-description{padding-bottom:.75em}.math-booster-search-item-description{color:var(--text-faint)}.math-booster-backlink-modal{width:var(--file-line-width)}.math-booster-backlink-preview{border:var(--border-width) solid var(--background-modifier-border);border-radius:var(--radius-s);padding:var(--size-4-6)}.math-booster-begin-proof{padding-right:10px;font-family:CMU Serif,Times,Noto Serif JP;font-weight:bold}.math-booster-begin-proof-en{font-style:italic}.math-booster-end-proof{float:right}.math-booster-add-profile{display:flex;flex-direction:row;justify-content:space-between}.math-booster-add-profile>input{width:200px}.math-booster-button-container{display:flex;flex-direction:row;justify-content:flex-end;gap:var(--size-4-2);padding:var(--size-4-2)}.math-booster-preview{cursor:text}.HyperMD-quote.cm-line.math-booster-preview-container{text-indent:-15px;padding-inline-start:19px}.cm-embed-block .math-booster-preview-edit-button{padding:var(--size-2-2) var(--size-2-3);position:absolute;right:var(--size-2-2);top:var(--size-2-2);opacity:0;display:flex;border-radius:var(--radius-s)}.cm-embed-block:hover .math-booster-preview-edit-button{transition:0s;opacity:1}.math-booster-preview-enabled .HyperMD-quote.cm-line .math.math-block.cm-embed-block:has(>mjx-container.MathJax[display=true]:not(.math-booster-preview)){display:none}.theorem-callout{position:relative}.theorem-callout-setting-button{padding-bottom:var(--size-2-2);padding-right:var(--size-2-3);position:absolute;right:var(--size-2-2);bottom:var(--size-2-2);opacity:0}.theorem-callout:hover .theorem-callout-setting-button{transition:0s;opacity:1}.theorem-callout-font-family-inherit{font-family:inherit !important}.math-booster-title-form,.math-booster-label-form{width:300px}.math-booster-dependency-validation{color:white;display:inline-block;border-radius:1em;margin-right:var(--size-3);cursor:default;pointer-events:none}.math-booster-dependency-validation svg{width:16px !important;height:16px !important}.math-booster-dependency-validation.valid{background-color:#7dc535;visibility:visible}.theme-dark .math-booster-dependency-validation.valid{background-color:#588b24}.math-booster-dependency-validation.invalid{background-color:#ea5555;visibility:visible}:has(>.theorem-callout-framed) .theorem-callout{--callout-color: var(--text-normal);background-color:rgba(0, 0, 0, 0);border:solid var(--border-width);border-radius:var(--size-2-3);font-family:CMU Serif,Times,Noto Serif JP}:has(>.theorem-callout-framed) .theorem-callout .callout-icon{display:none}:has(>.theorem-callout-framed) .theorem-callout-main-title{font-family:CMU Serif,Times,Noto Sans JP;font-weight:bolder}:has(>.theorem-callout-framed) .theorem-callout-subtitle{font-weight:normal}:has(>.theorem-callout-framed) :not(.theorem-callout-axiom):not(.theorem-callout-definition):not(.theorem-callout-remark).theorem-callout-en .callout-content{font-style:italic}:has(>.theorem-callout-plain) .theorem-callout{--callout-color: var(--text-normal);background-color:rgba(0, 0, 0, 0);padding-left:0;padding-right:0;border:none;box-shadow:none;font-family:CMU Serif,Times,Noto Serif JP}:has(>.theorem-callout-plain) .theorem-callout .callout-icon{display:none}:has(>.theorem-callout-plain) .theorem-callout-main-title{font-family:CMU Serif,Times,Noto Sans JP;font-weight:bolder}:has(>.theorem-callout-plain) .theorem-callout-subtitle{font-weight:normal}:has(>.theorem-callout-plain) :not(.theorem-callout-axiom):not(.theorem-callout-definition):not(.theorem-callout-remark).theorem-callout-en .callout-content{font-style:italic}:has(>.theorem-callout-mathwiki) .theorem-callout{--callout-color: 248, 248, 255;font-family:CMU Serif,Times,Noto Serif JP}:has(>.theorem-callout-mathwiki) .theorem-callout .callout-title-inner{padding-left:5px}:has(>.theorem-callout-mathwiki) .theorem-callout-subtitle{font-weight:normal}:has(>.theorem-callout-mathwiki) .theorem-callout-en .callout-content{font-style:italic}:has(>.theorem-callout-mathwiki) .theorem-callout-axiom{--callout-icon: '<svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="lock" class="svg-inline--fa fa-lock fa-w-14" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M400 224h-24v-72C376 68.2 307.8 0 224 0S72 68.2 72 152v72H48c-26.5 0-48 21.5-48 48v192c0 26.5 21.5 48 48 48h352c26.5 0 48-21.5 48-48V272c0-26.5-21.5-48-48-48zm-104 0H152v-72c0-39.7 32.3-72 72-72s72 32.3 72 72v72z"></path></svg>'}:has(>.theorem-callout-mathwiki) .theorem-callout-definition{--callout-icon: '<svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="book" class="svg-inline--fa fa-book fa-w-14" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M448 360V24c0-13.3-10.7-24-24-24H96C43 0 0 43 0 96v320c0 53 43 96 96 96h328c13.3 0 24-10.7 24-24v-16c0-7.5-3.5-14.3-8.9-18.7-4.2-15.4-4.2-59.3 0-74.7 5.4-4.3 8.9-11.1 8.9-18.6zM128 134c0-3.3 2.7-6 6-6h212c3.3 0 6 2.7 6 6v20c0 3.3-2.7 6-6 6H134c-3.3 0-6-2.7-6-6v-20zm0 64c0-3.3 2.7-6 6-6h212c3.3 0 6 2.7 6 6v20c0 3.3-2.7 6-6 6H134c-3.3 0-6-2.7-6-6v-20zm253.4 250H96c-17.7 0-32-14.3-32-32 0-17.6 14.4-32 32-32h285.4c-1.9 17.1-1.9 46.9 0 64z"></path></svg>'}:has(>.theorem-callout-mathwiki) .theorem-callout-theorem{--callout-icon: '<svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="magic" class="svg-inline--fa fa-magic fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M224 96l16-32 32-16-32-16-16-32-16 32-32 16 32 16 16 32zM80 160l26.66-53.33L160 80l-53.34-26.67L80 0 53.34 53.33 0 80l53.34 26.67L80 160zm352 128l-26.66 53.33L352 368l53.34 26.67L432 448l26.66-53.33L512 368l-53.34-26.67L432 288zm70.62-193.77L417.77 9.38C411.53 3.12 403.34 0 395.15 0c-8.19 0-16.38 3.12-22.63 9.38L9.38 372.52c-12.5 12.5-12.5 32.76 0 45.25l84.85 84.85c6.25 6.25 14.44 9.37 22.62 9.37 8.19 0 16.38-3.12 22.63-9.37l363.14-363.15c12.5-12.48 12.5-32.75 0-45.24zM359.45 203.46l-50.91-50.91 86.6-86.6 50.91 50.91-86.6 86.6z"></path></svg>'}:has(>.theorem-callout-mathwiki) .theorem-callout-proposition{--callout-icon: '<svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="calculator" class="svg-inline--fa fa-calculator fa-w-14" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M400 0H48C22.4 0 0 22.4 0 48v416c0 25.6 22.4 48 48 48h352c25.6 0 48-22.4 48-48V48c0-25.6-22.4-48-48-48zM128 435.2c0 6.4-6.4 12.8-12.8 12.8H76.8c-6.4 0-12.8-6.4-12.8-12.8v-38.4c0-6.4 6.4-12.8 12.8-12.8h38.4c6.4 0 12.8 6.4 12.8 12.8v38.4zm0-128c0 6.4-6.4 12.8-12.8 12.8H76.8c-6.4 0-12.8-6.4-12.8-12.8v-38.4c0-6.4 6.4-12.8 12.8-12.8h38.4c6.4 0 12.8 6.4 12.8 12.8v38.4zm128 128c0 6.4-6.4 12.8-12.8 12.8h-38.4c-6.4 0-12.8-6.4-12.8-12.8v-38.4c0-6.4 6.4-12.8 12.8-12.8h38.4c6.4 0 12.8 6.4 12.8 12.8v38.4zm0-128c0 6.4-6.4 12.8-12.8 12.8h-38.4c-6.4 0-12.8-6.4-12.8-12.8v-38.4c0-6.4 6.4-12.8 12.8-12.8h38.4c6.4 0 12.8 6.4 12.8 12.8v38.4zm128 128c0 6.4-6.4 12.8-12.8 12.8h-38.4c-6.4 0-12.8-6.4-12.8-12.8V268.8c0-6.4 6.4-12.8 12.8-12.8h38.4c6.4 0 12.8 6.4 12.8 12.8v166.4zm0-256c0 6.4-6.4 12.8-12.8 12.8H76.8c-6.4 0-12.8-6.4-12.8-12.8V76.8C64 70.4 70.4 64 76.8 64h294.4c6.4 0 12.8 6.4 12.8 12.8v102.4z"></path></svg>'}:has(>.theorem-callout-mathwiki) .theorem-callout-example{--callout-icon: '<svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="anchor" class="svg-inline--fa fa-anchor fa-w-18" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 576 512"><path fill="currentColor" d="M12.971 352h32.394C67.172 454.735 181.944 512 288 512c106.229 0 220.853-57.38 242.635-160h32.394c10.691 0 16.045-12.926 8.485-20.485l-67.029-67.029c-4.686-4.686-12.284-4.686-16.971 0l-67.029 67.029c-7.56 7.56-2.206 20.485 8.485 20.485h35.146c-20.29 54.317-84.963 86.588-144.117 94.015V256h52c6.627 0 12-5.373 12-12v-40c0-6.627-5.373-12-12-12h-52v-5.47c37.281-13.178 63.995-48.725 64-90.518C384.005 43.772 341.605.738 289.37.01 235.723-.739 192 42.525 192 96c0 41.798 26.716 77.35 64 90.53V192h-52c-6.627 0-12 5.373-12 12v40c0 6.627 5.373 12 12 12h52v190.015c-58.936-7.399-123.82-39.679-144.117-94.015h35.146c10.691 0 16.045-12.926 8.485-20.485l-67.029-67.029c-4.686-4.686-12.284-4.686-16.971 0L4.485 331.515C-3.074 339.074 2.28 352 12.971 352zM288 64c17.645 0 32 14.355 32 32s-14.355 32-32 32-32-14.355-32-32 14.355-32 32-32z"></path></svg>'}:has(>.theorem-callout-vivid) .theorem-callout{--callout-color: 238, 15, 149;border-top:none;border-bottom:none;border-left:var(--size-2-2) solid rgb(var(--callout-color));border-right:none;border-radius:0px;box-shadow:none;padding:0px;font-family:CMU Serif,Times,Noto Serif JP}:has(>.theorem-callout-vivid) .theorem-callout .callout-title{padding:var(--size-2-3);padding-left:var(--size-4-3)}:has(>.theorem-callout-vivid) .theorem-callout .callout-icon{display:none}:has(>.theorem-callout-vivid) .theorem-callout .callout-title-inner{font-family:Inter;font-weight:normal;color:rgb(var(--callout-color))}:has(>.theorem-callout-vivid) .theorem-callout-subtitle{font-weight:lighter}:has(>.theorem-callout-vivid) .theorem-callout .callout-content{background-color:var(--background-primary);padding:1px 20px 2px 20px}/*# sourceMappingURL=theme.css.map */