:root{--outmost-max-width:780px;--outmost-horizontal-padding:20px;--left-sidebar-width:300px;--right-sidebar-width:300px;--small-ad-width:300px;--small-ad-height:300px;--menu-icon-width:35px;--menu-icon-height:35px;--root-font-size:18px;--theme-color:#2c2c90;--shaded-background-color:#f3f3f3;--shaded-borderline-color:#aaa;--shaded-text-color:#595959;--hard-background-color:#333;--plane-background-color:#fff6ed;--target-color:#c5f2d0}html{font-size:var(--root-font-size);background-color:var(--plane-background-color)}@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:var(--outmost-max-width);margin:auto;padding-bottom:4rem;font-family:Roboto,UD Digi Kyokasho NP-R,Noto Sans,Noto Sans CJK JP,Arial,Helvetica,sans-serif;font-weight:400}strong{font-family:Roboto,UD Digi Kyokasho NP-B,Noto Sans,Noto Sans CJK JP,Arial,Helvetica,sans-serif}.katex .cjk_fallback{font-size:.8em;font-family:UD Digi Kyokasho NP-R,Noto Sans,Noto Sans CJK JP,sans-serif!important}code{font-family:Monaco,Droid Sans Mono,Consolas,Courier New,UD Digi Kyokasho NP-R,Noto Sans,Noto Sans CJK JP,monospace;padding:0 .25rem;background-color:var(--shaded-background-color);font-size:88.8%}.highlight pre{line-height:1.25;padding:.5rem;margin-top:1rem;overflow-x:auto;border-radius:.5rem;box-shadow:0 0 3px gray}.highlight code{font-size:80%;padding:0}h1,h2,h3,h4,h5{color:var(--theme-color);font-weight:700;margin-top:2rem}h1{font-size:170%;text-align:center}h2{font-size:133%;padding:5px 0 5px 10px;border-left:solid 10px;border-bottom:solid 3px}h3{font-size:125%;padding:0 0 3px .75rem;border-bottom:solid 3px}h4{font-size:110%;border-left:solid 10px;padding:2px .5rem 1px}h5{font-size:110%;border-left:solid 3px;padding:2px .5rem 1px}sup,sub{line-height:0}blockquote{padding:1rem;margin-top:1rem;background-color:var(--shaded-background-color);border-radius:.5rem;box-shadow:0 0 3px gray}blockquote+blockquote{margin-top:2rem}blockquote p{margin-top:1.5rem}blockquote>*:first-child{margin-top:0}blockquote code{background-color:inherit;padding:0}dl{margin-top:2rem}dd{margin-left:2rem}a[href]{color:var(--theme-color)}p{margin-top:2rem}ol+p,ul+p,blockquote+p,figure+p,.highlight+p,.center+p,.inline-caption+p{margin-top:1rem}blockquote+blockquote+p{margin-top:2rem}h2+p,h3+p,h4+p,h5+p{margin-top:.5rem}ol,ul{margin-top:1rem;padding-left:0}ol p,ul p{margin-top:1rem}ol li:first-child p:first-child,ul li:first-child p:first-child{margin-top:0}ol>li:first-child,ul>li:first-child{margin-top:0}li ol,li ul{margin-top:.5rem}li{margin-top:1rem;margin-left:1.5rem}li li{margin-top:.5rem}.l-sidebar{position:fixed;width:var(--right-sidebar-width);height:100%;top:0;left:0}.r-sidebar{position:fixed;width:var(--right-sidebar-width);height:100%;top:0;left:calc(100% - var(--right-sidebar-width))}@media screen and (max-width:1380px){.l-sidebar,.r-sidebar{margin:auto;margin-top:2rem;height:auto;min-height:var(--right-sidebar-width);position:initial}}#internal-links>*{font-size:.88rem;line-height:2.5;text-align:center}.icon{display:flex;justify-content:center;margin-top:2rem;line-height:0}.breadcomb{text-align:center;line-height:1.1}.breadcomb-icon{display:inline-block;height:20px;width:20px;margin:0 5px}.breadcomb-line{margin-top:.5rem}.breadcomb a{white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:calc(100% - 3rem);display:inline-block}.breadcomb-prev-next-line{display:flex;justify-content:center;align-items:baseline}.breadcomb-prev-next-line>*:nth-child(1){text-align:right;width:47%}.breadcomb-prev-next-line>*:nth-child(2){margin:0 5px}.breadcomb-prev-next-line>*:nth-child(3){text-align:left;width:47%}.breadcomb-h1 .breadcomb-icon{height:15px;width:15px}.breadcomb-h1 a{font-size:14px}.breadcomb-h1 .breadcomb-line{margin-top:.1rem}.breadcomb~h1{margin-top:.2rem}.breadcomb-h1 .breadcomb-prev-next-line{margin-top:.4rem}.footnotes{font-size:88%}.footnotes li p{margin-top:1rem}.footnotes li ul+p,.footnotes li ol+p{margin-top:.5rem}sup:has(>a.footnote-ref)+sup:has(>a.footnote-ref){margin-left:.175rem}img{height:auto;max-width:100%}figure{margin:auto;margin-top:1rem;display:flex;justify-content:center;align-items:center;flex-direction:column}figure a{text-align:center;line-height:0;min-width:min(100%,50vw,300px);max-width:min(100%,90vw,600px)}figcaption,.inline-caption{display:flex;justify-content:center;align-items:baseline;margin-top:.5rem;font-size:88%;line-height:1.4;width:100%;min-width:min(75vw,500px);max-width:min(90vw,650px)}.caption-header{white-space:nowrap;margin-right:.6em}video{display:block;margin:auto;object-fit:fill}.center{margin-top:1rem;text-align:center;display:flex;justify-content:center}.notice{font-size:88%}.notice li,.notice p,.notice .chroma{margin-top:.35rem}.notice>*:first-child{margin-top:0}table{max-width:100%;border-collapse:separate;border-spacing:0;margin:auto;font-size:16px;border-radius:.5rem;box-shadow:0 0 3px gray}.table_wrapper{margin-top:1rem;padding:0 5px}td,th{padding:5px 8px;border:solid 1px #bfbfbf}th{color:#fff;background-color:#595959;padding:10px}:is(tbody:first-child,thead) tr:first-child th:first-child{border-top-left-radius:.4rem}:is(tbody:first-child,thead) tr:first-child th:last-child{border-top-right-radius:.4rem}tbody tr:last-child th:first-child{border-bottom-left-radius:.4rem}tbody tr:last-child th:last-child{border-bottom-right-radius:.4rem}:is(tbody:first-child,thead) tr:first-child td:first-child{border-top-left-radius:.4rem}:is(tbody:first-child,thead) tr:first-child td:last-child{border-top-right-radius:.4rem}tbody tr:last-child td:first-child{border-bottom-left-radius:.4rem}tbody tr:last-child td:last-child{border-bottom-right-radius:.4rem}tr:nth-child(odd){background:var(--shaded-background-color)}tr:nth-child(even){background:#fff}table code{font-size:95%;padding:0;background-color:inherit}rt{ruby-align:center;font-size:12px}.chroma{background-color: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-color:#ffc;position:relative;left:-5px;padding:0 5px;width:calc(100% + 10px)}.chroma .lnt{margin-right:.4rem;padding:0 .4rem;color:#7f7f7f}.chroma .ln{margin-right:.4rem;padding:0 .4rem;color:#7f7f7f}.chroma .k{color:#02591b;font-weight:700}.chroma .kc{color:#02591b;font-weight:700}.chroma .kd{color:#02591b;font-weight:700}.chroma .kn{color:#02591b;font-weight:700}.chroma .kp{color:#02591b}.chroma .kr{color:#02591b;font-weight:700}.chroma .kt{color:#902000}.chroma .na{color:#153c64}.chroma .nb{color:#02591b}.chroma .nc{color:#0e84b5;font-weight:700}.chroma .no{color:#15426f}.chroma .nd{color:#555;font-weight:700}.chroma .ni{color:#d55537;font-weight:700}.chroma .ne{color:#02591b}.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 .s{color:#153c64}.chroma .sa{color:#153c64}.chroma .sb{color:#153c64}.chroma .sc{color:#153c64}.chroma .dl{color:#153c64}.chroma .sd{color:#153c64}.chroma .s2{color:#153c64}.chroma .se{color:#153c64;font-weight:700}.chroma .sh{color:#153c64}.chroma .si{color:#15426f}.chroma .sx{color:#c65d09}.chroma .sr{color:#235388}.chroma .s1{color:#153c64}.chroma .ss{color:#517918}.chroma .m{color:#1f553a}.chroma .mb{color:#1f553a}.chroma .mf{color:#1f553a}.chroma .mh{color:#1f553a}.chroma .mi{color:#1f553a}.chroma .il{color:#1f553a}.chroma .mo{color:#1f553a}.chroma .o{color:#4d4d4d}.chroma .ow{color:#02591b;font-weight:700}.chroma .c{color:#153c64}.chroma .ch{color:#153c64}.chroma .cm{color:#153c64}.chroma .c1{color:#153c64}.chroma .cs{color:#153c64;background-color:#fff0f0}.chroma .cp{color:#02591b}.chroma .cpf{color:#02591b}.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}.google-search-box *{color:initial;background-color:initial;box-shadow:none;box-sizing:initial;margin:initial;padding:initial;font-size:initial;border:initial}@keyframes light{50%{background-color:var(--target-color)}}*:target{animation-name:light;animation-duration:1s}*:target .chroma,*:target code,*:target blockquote,*:target table{animation-name:light;animation-duration:1s}.authors{display:flex;flex-wrap:wrap;justify-content:center;color:var(--shaded-text-color)}.authors div{margin-left:.25cm}.card,.outmost-card{background-color:#fff;border-radius:10px}.outmost-card{box-shadow:0 0 5px gray;padding:1rem 1.25rem;margin-top:2rem}main .outmost-card:first-child:last-child{padding-bottom:2.5rem}.card{box-shadow:0 0 3px gray;margin-top:2rem;padding:1rem}.card>*:first-child{margin-top:0}.outmost-noncard{padding:2rem 1.5rem;margin-top:3rem;margin-bottom:1.5rem}@media screen and (max-width:740px){.outmost-card{padding:1rem;overflow-x:auto}.outmost-noncard{padding:2rem 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;margin-top:2.5rem}.link-button a{border:solid var(--theme-color)2px;border-radius:20px;font-size:1.2rem;color:var(--theme-color);padding:1.5rem 2rem;text-decoration:none;box-shadow:0 0 3px gray;transition-property:background-color;transition-duration:.1s}.link-button a:hover{background-color:var(--shaded-background-color)}.article-info{margin-top:.5rem;text-align:right;font-size:88%;color:var(--shaded-text-color)}a.page-listing-item{display:block;text-decoration:none;line-height:1.4;padding:1rem}@media screen and (max-width:600px){a.page-listing-item{padding:1rem .5rem}}.page-listing-title{text-decoration:underline;font-size:1.05rem}.page-listing-item:hover{border-radius:5px;box-shadow:0 0 3px gray}.page-listing-item:hover>.page-listing-title{text-decoration:underline}.page-listing-header{color:var(--theme-color);text-align:center;font-weight:700;font-size:1.5rem;margin-top:1rem}.page-listing-info{color:var(--shaded-borderline-color);font-size:80%}.page-listing-info span:not(:first-child){margin:0 1rem}.far{margin-top:2rem!important}.long-post-ad-wrapper{min-height:300px}button{font-family:inherit}select{font-family:inherit}.apps-link{font-size:16px;text-align:center}.header-link-wrapper{position:relative;top:0}h1:hover .header-link::after,h2:hover .header-link::after,h3:hover .header-link::after,h4:hover .header-link::after,h5:hover .header-link::after{content:"";position:absolute;display:block;background:no-repeat 30% url(/svg/header-link.svg);background-size:contain;top:-.3em;left:.3em;height:20px;width:20px}.flushright{text-align:right}.toc{font-size:16px}.toc>nav>ul,.toc>ul{margin-top:.5rem}.toc li{margin:.5rem 0 0 1.5rem}.toc:has(>nav:empty),.toc:is(:not(nav)):not(:has(nav)){display:none}hr{margin-top:2rem}