:root{--theme-color:#2c2c90;--shaded-background-color:#f6f6f6;--shaded-borderline-color:#aaa;--shaded-text-color:#595959;--hard-background-color:#333}html{font-size:18px;background:#fff6ed}@media screen and (max-width:550px){html{font-size:16px}}*,*::before,*::after{box-sizing:border-box}body,h1,h2,h3,h4,h5,p,ul,ol,li,figure,blockquote,dl,dd,pre{margin:0}body{line-height:1.6;max-width:780px;margin:auto;padding-bottom:4rem;font-family:Roboto,UD Digi Kyokasho NP-R,UD Digi Kyokasho NP,Noto Sans,Noto Sans JP,Noto Sans CJK JP,Arial,Helvetica,sans-serif;font-weight:400}strong{font-family:Roboto,UD Digi Kyokasho NP-B,UD Digi Kyokasho NP,Noto Sans,Noto Sans JP,Noto Sans CJK JP,Arial,Helvetica,sans-serif}.katex .cjk_fallback{font-family:UD Digi Kyokasho NP-R,UD Digi Kyokasho NP,Noto Sans,Noto Sans JP,Noto Sans CJK JP,sans-serif!important;font-size:.90909em}code{font-family:Monaco,Droid Sans Mono,Consolas,Courier New,UD Digi Kyokasho NP-R,UD Digi Kyokasho NP,Noto Sans JP,Noto Sans CJK JP,monospace;padding:0 .25rem;background:var(--shaded-background-color)}.highlight{line-height:1.2;padding:.5rem;overflow-x:auto}.highlight code{padding:0}h1,h2,h3,h4,h5{color:var(--theme-color);font-weight:700;margin-top:2rem}dt .katex .mord,.page-listing-title,dt{text-decoration:underline}:is(h1,h2,h3,h4,h5)>a,.amath a,.page-listing-item,.link-button a{text-decoration:none}:is(h1,h2,h3,h4,h5):not(.numbered-header)>a,:is(h1,h2,h3,h4,h5) .numbered-header-body{position:relative}:is(h2,h3,h4,h5):hover:not(.numbered-header)>a::after,:is(h1,h2,h3,h4,h5):hover .numbered-header-body::after{content:"";position:absolute;line-height:0;left:calc(100% + .2em);top:-.5em;display:inline-block;background:no-repeat 30% url(/svg/header-link.svg);background-size:contain;height:20px;width:20px}h1{font-size:170%;text-align:center}h2{font-size:133%;padding-left:7px;border-left:solid 10px;border-bottom:solid 3px;margin-top:3rem}:is(h1,h2).numbered-header{border:none;border-bottom:solid 3px var(--theme-color);padding:0;line-height:1.3}:is(h1,h2).numbered-header a{display:flex;width:fit-content}:is(h1,h2) .numbered-header-number{color:#fff;font-weight:700;background:var(--theme-color);padding:8px 8px 4px;margin-top:auto}:is(h1,h2) .numbered-header-body{padding:8px 0 4px 8px}h3{font-size:125%;border-bottom:solid 3px}h4{font-size:110%;display:inline-block;border-bottom:solid 3px}h5{font-size:110%}sup,sub{line-height:0}blockquote{padding:1rem;background:var(--shaded-background-color)}blockquote+blockquote{margin-top:2rem}blockquote p{margin-top:1.5rem}blockquote code{background:inherit;padding:0}a[href]{color:var(--theme-color)}p{margin-top:2rem}ol,ul{padding-left:0}:is(dd,blockquote,.card,.notice,ol,ul,:is(ol,ul) li:first-child)>*:first-child{margin-top:0}code,.footnotes,figcaption,.inline-caption,.notice,.article-info,.breadcrumb-h1{font-size:85%}dl,dt,:not(li)>:is(ol,ul),blockquote,figure,.highlight,.center,.amath,.card,figure,.table_wrapper,.link-button,:is(dl,ol,ul,blockquote,figure,.highlight,.center,.inline-caption,.amath)+p,:is(dd,ol,ul,.footnotes) p,li,li+li:has(>span:only-child span.katex){margin-top:1rem}blockquote+blockquote+p{margin-top:2rem}li{margin-left:1.5rem}:is(h2,h3,h4,h5)+p,.footnotes li :is(ul ol)+p,li :is(li,ol,ul),li:has(>ul,ol),li:has(>ul,ol)+li{margin-top:.5rem}.highlight,blockquote,table,.card,.outmost-card,.link-button a,.page-listing-item:hover{border-radius:5px;border:1px solid #e1e1e1;box-shadow:0 0 2.5px gray}#internal-links{font-size:.88rem;line-height:2.5;text-align:center}.icon{text-align:center;margin-top:1.5rem;line-height:0}.breadcrumb-icon::before{content:"";display:block;width:.5em;height:.5em;border-right:2px solid gray;border-bottom:2px solid gray}.breadcrumb-down::before{transform:rotate(45deg)}.breadcrumb-left::before{transform:rotate(135deg);margin-right:1em}.breadcrumb-right::before{transform:rotate(-45deg);margin-left:1em}.breadcrumb-link{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.breadcrumb-line{line-height:1;display:flex;justify-content:center;align-items:baseline}.breadcrumb-line:not(:first-child){margin-top:.5rem}.breadcrumb-line.breadcrumb-prev-next-line{margin-top:1.25em}.breadcrumb-prev-next-line>*:first-child{text-align:right;margin-right:.5em;flex:1}.breadcrumb-prev-next-line>*:last-child{text-align:left;margin-left:.5em;flex:1}.breadcrumb-h1+h1{margin-top:.15rem}sup:has(>a.footnote-ref)+sup:has(>a.footnote-ref){margin-left:.175rem}img{height:auto;max-width:100%;margin:0 .5rem}figure{display:flex;justify-content:center;align-items:center;flex-direction:column;line-height:0;text-align:center}figure a{display:inline-block}figcaption,.inline-caption{display:flex;justify-content:center;align-items:baseline;margin:1rem .5rem 0;line-height:1.4;text-align:left}.caption-header{white-space:nowrap;margin-right:.6em}video{display:block;margin:auto;object-fit:fill}.center{text-align:center;display:flex;justify-content:center}.notice li,.notice p,.notice .highlight{margin-top:.35rem}table{max-width:100%;border-collapse:separate;border-spacing:0;margin:auto;font-size:16px;border:none}table p{margin:0}.table_wrapper{padding:0 5px}td,th{padding:5px 8px;border:solid 1px #bfbfbf}th{color:#fff;background:#595959;padding:10px}:is(tbody:first-child,thead) tr:first-child :is(th,td):first-child{border-top-left-radius:.25rem}:is(tbody:first-child,thead) tr:first-child :is(th,td):last-child{border-top-right-radius:.25rem}tbody tr:last-child :is(th,td):first-child{border-bottom-left-radius:.25rem}tbody tr:last-child :is(th,td):last-child{border-bottom-right-radius:.25rem}tr:nth-child(odd){background:var(--shaded-background-color)}tr:nth-child(even){background:#fff}table code{font-size:95%;padding:0;background:inherit}rt{ruby-align:center;font-size:12px}.highlight{background:var(--shaded-background-color)}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0;width:auto;overflow:auto;display:block}.chroma .hl{display:block;width:100%;background:#ffc;position:relative;left:-5px;padding:0 5px;width:calc(100% + 10px)}.chroma :is(.lnt,.ln){margin-right:.4rem;padding:0 .4rem;color:#7f7f7f}.chroma :is(.k,.kc,.kd,.kn,.ow,.kr){color:#02591b;font-weight:700}.chroma :is(.kp,.nb,.ne,.cp,.cpf){color:#02591b}.chroma .kt{color:#902000}.chroma :is(.na,.c,.ch,.cm,.c1,.s,.sa,.sb,.sc,.dl,.sd,.s2,.sh,.s1){color:#153c64}.chroma .se{color:#153c64;font-weight:700}.chroma .nc{color:#0e84b5;font-weight:700}.chroma :is(.no,.si){color:#15426f}.chroma .nd{color:#555;font-weight:700}.chroma .ni{color:#d55537;font-weight:700}.chroma .nf{color:#06287e}.chroma .nl{color:#002070;font-weight:700}.chroma .nn{color:#0e84b5;font-weight:700}.chroma .nt{color:#062873;font-weight:700}.chroma .nv{color:#753a45}.chroma .sx{color:#c65d09}.chroma .sr{color:#235388}.chroma .ss{color:#517918}.chroma :is(.m,.mb,.mf,.mh,.mi,.il,.mo){color:#1f553a}.chroma .o{color:#4d4d4d}.chroma .cs{color:#153c64;background:#fff0f0}.chroma .gd{color:#a00000}.chroma .gr{color:red}.chroma .gh{color:navy;font-weight:700}.chroma .gi{color:#00a000}.chroma .go{color:#888}.chroma .gp{color:#c65d09;font-weight:700}.chroma .gs{font-weight:700}.chroma .gu{color:purple;font-weight:700}.chroma .gt{color:#04d}.chroma .gl{text-decoration:underline}.chroma .w{color:#bbb}@keyframes target-flash{50%{background:#c5f2d0}}*:target,*:target :is(highlight,code,blockquote,table){animation-name:target-flash;animation-duration:1s}.authors{display:flex;flex-wrap:wrap;justify-content:center;color:var(--shaded-text-color);font-size:14px}.authors div{margin-left:.25cm}h1#title+.authors{font-size:1rem}.card,.outmost-card{background:#fff}.outmost-card{padding:1rem 1.25rem;margin-top:1.5rem}main .outmost-card:first-child:last-child{padding-bottom:2.5rem}.card{padding:1rem}@media screen and (max-width:740px){.outmost-card{padding:1rem;overflow-x:auto}}.nav_title{color:var(--theme-color);font-size:133%;font-weight:700}.link-button{display:flex;justify-content:space-around;text-align:center;font-weight:700}.link-button a{border:solid var(--theme-color)2px;font-size:1.2rem;color:var(--theme-color);padding:1rem 1.5rem}.link-button a:hover{background:var(--shaded-background-color)}.article-info{margin-top:.5rem;text-align:right;color:var(--shaded-text-color)}.page-listing-item{display:block;line-height:1.25;padding:.75rem .5rem;border:1px solid transparent}.page-listing-header{color:var(--theme-color);text-align:center;font-weight:700;font-size:1.5rem}.page-listing-header+.page-listing-item{margin-top:1rem}.page-listing-info{color:var(--shaded-borderline-color);font-size:.7rem}.page-listing-info span:not(:first-child){margin:0 1rem}.far{margin-top:2rem!important}button,select{font-family:inherit}.apps-link{font-size:16px;text-align:center}.flushright{text-align:right}.toc{font-size:16px}:is(.toc>nav,.toc)>ul{margin-top:.5rem}.toc li{margin:.5rem 0 0 1.5rem}hr{margin-top:2rem}.amath .katex-display{margin:0}dd{margin-left:2rem}dt{font-weight:700}.notice:empty,#menu:has(>#menu_content:empty){display:none}:root{--menu-icon-width:35px;--menu-icon-height:35px;--sidebar-width:300px}#menu_checkbox{display:none}#menu code{color:inherit;background:inherit}#menu{font-size:.85rem;background:#fff;height:100%;padding:10px;position:fixed;width:var(--sidebar-width);top:0;overflow-y:scroll;transition:left .4s;z-index:10;overscroll-behavior:contain}#menu_background{background:var(--hard-background-color);display:block;height:100%;width:100%;opacity:.5;position:fixed;left:0;top:0;display:none;z-index:1}#menu_icon{background:#fff;box-shadow:2px 2px 1px gray;border:solid var(--shaded-background-color)5px;cursor:pointer;width:var(--menu-icon-width);height:var(--menu-icon-height);position:fixed;top:calc(-1.25 * var(--menu-icon-height));z-index:11;transition:left .4s,top .4s}@media screen and (min-width:1380px){#menu{border:1px solid #e1e1e1;box-shadow:0 0 2.5px gray;left:0}#menu_checkbox:not(:checked)~#menu{boder:none;box-shadow:none;left:calc(-1 * var(--sidebar-width))}#menu_icon{left:var(--sidebar-width)}#menu_checkbox:not(:checked)~#menu_icon{left:0}#menu_background{display:none!important}#right-sidebar{position:fixed;height:100vw;width:var(--sidebar-width);top:0;left:calc(100vw - var(--sidebar-width))}}@media screen and (max-width:1379px){#menu{border:none;box-shadow:none;left:calc(-1 * var(--sidebar-width))}#menu_checkbox:checked~#menu{border:1px solid #e1e1e1;box-shadow:0 0 2.5px gray;left:0}#menu_icon{left:0}#menu_checkbox:checked~#menu_icon{left:var(--sidebar-width)}#right-sidebar{border-top:solid 1px gray;border-bottom:solid 1px gray;margin-top:2rem;height:350px}}#menu_checkbox:checked~#menu_background{opacity:.5;z-index:5;display:block}#menu_icon:hover{background:var(--shaded-background-color);box-shadow:3px 3px 3px gray}#menu a.menu_header{font-weight:700;font-size:115%;color:var(--theme-color)}#menu a{color:#000;text-decoration:none}#menu ul li{margin-top:.25rem;margin-left:1rem}#menu ul{margin:0}li#menu_current a{color:var(--theme-color);font-weight:700}li#menu_current>a{text-decoration:underline}li#menu_current{color:var(--theme-color)}#menu li a:hover{color:var(--theme-color);text-decoration:underline}#multiplex-kk{min-height:350px}.long-post-kk-wrapper{min-height:300px;margin-top:2.5rem;border-top:solid 1px gray;border-bottom:solid 1px gray}.kk-wrapper{display:flex;flex-direction:column;justify-content:space-between}.kk-header{text-align:center}.kk-header+*{margin-top:1.5rem;margin-bottom:1.5rem}.katex{font-size:1.1em}.katex .sizing.reset-size6.size3{font-size:.85em}