:root{--palette-light-text:#1a1a1a;--palette-light-text-muted:#555;--palette-light-bg:#fff;--palette-light-border:#ccc;--palette-light-border-light:#eee;--palette-light-ref:#0072b2;--palette-light-ref-hover:#005280;--palette-light-cite:#d55e00;--palette-light-cite-hover:#a34700;--palette-light-cite-unknown:#1a1a1a;--palette-light-popover-bg:#fff;--palette-light-popover-shadow:#00000026;--palette-light-env-tag:#777;--palette-light-loading:#999;--palette-light-footer-bg:#f5f5f5;--palette-light-footer-text:#999;--palette-dark-text:#e0e0e0;--palette-dark-text-muted:#999;--palette-dark-bg:#1a1a1a;--palette-dark-border:#444;--palette-dark-border-light:#333;--palette-dark-ref:#56b4e9;--palette-dark-ref-hover:#7ec8f0;--palette-dark-cite:#e69f00;--palette-dark-cite-hover:#f0b830;--palette-dark-cite-unknown:#e0e0e0;--palette-dark-popover-bg:#252525;--palette-dark-popover-shadow:#0006;--palette-dark-env-tag:#888;--palette-dark-loading:#777;--palette-dark-footer-bg:#111;--palette-dark-footer-text:#666;--palette-sepia-text:#3b2e1e;--palette-sepia-text-muted:#6b5c4c;--palette-sepia-bg:#f5efe0;--palette-sepia-border:#c8b99a;--palette-sepia-border-light:#ddd4c0;--palette-sepia-ref:#0072b2;--palette-sepia-ref-hover:#005280;--palette-sepia-cite:#c50;--palette-sepia-cite-hover:#a34400;--palette-sepia-cite-unknown:#3b2e1e;--palette-sepia-popover-bg:#f5efe0;--palette-sepia-popover-shadow:#0000001f;--palette-sepia-env-tag:#8a7a66;--palette-sepia-loading:#8a7a66;--palette-sepia-footer-bg:#ebe5d6;--palette-sepia-footer-text:#8a7a66}:root,:root.theme-light{--color-text:var(--palette-light-text);--color-text-muted:var(--palette-light-text-muted);--color-bg:var(--palette-light-bg);--color-border:var(--palette-light-border);--color-border-light:var(--palette-light-border-light);--color-ref:var(--palette-light-ref);--color-ref-hover:var(--palette-light-ref-hover);--color-cite:var(--palette-light-cite);--color-cite-hover:var(--palette-light-cite-hover);--color-cite-unknown:var(--palette-light-cite-unknown);--color-popover-bg:var(--palette-light-popover-bg);--color-popover-shadow:var(--palette-light-popover-shadow);--color-env-tag:var(--palette-light-env-tag);--color-proof-qed:var(--color-text);--color-loading:var(--palette-light-loading);--color-footer-bg:var(--palette-light-footer-bg);--color-footer-text:var(--palette-light-footer-text)}:root.theme-dark{--color-text:var(--palette-dark-text);--color-text-muted:var(--palette-dark-text-muted);--color-bg:var(--palette-dark-bg);--color-border:var(--palette-dark-border);--color-border-light:var(--palette-dark-border-light);--color-ref:var(--palette-dark-ref);--color-ref-hover:var(--palette-dark-ref-hover);--color-cite:var(--palette-dark-cite);--color-cite-hover:var(--palette-dark-cite-hover);--color-cite-unknown:var(--palette-dark-cite-unknown);--color-popover-bg:var(--palette-dark-popover-bg);--color-popover-shadow:var(--palette-dark-popover-shadow);--color-env-tag:var(--palette-dark-env-tag);--color-proof-qed:var(--color-text);--color-loading:var(--palette-dark-loading);--color-footer-bg:var(--palette-dark-footer-bg);--color-footer-text:var(--palette-dark-footer-text)}:root.theme-sepia{--color-text:var(--palette-sepia-text);--color-text-muted:var(--palette-sepia-text-muted);--color-bg:var(--palette-sepia-bg);--color-border:var(--palette-sepia-border);--color-border-light:var(--palette-sepia-border-light);--color-ref:var(--palette-sepia-ref);--color-ref-hover:var(--palette-sepia-ref-hover);--color-cite:var(--palette-sepia-cite);--color-cite-hover:var(--palette-sepia-cite-hover);--color-cite-unknown:var(--palette-sepia-cite-unknown);--color-popover-bg:var(--palette-sepia-popover-bg);--color-popover-shadow:var(--palette-sepia-popover-shadow);--color-env-tag:var(--palette-sepia-env-tag);--color-proof-qed:var(--color-text);--color-loading:var(--palette-sepia-loading);--color-footer-bg:var(--palette-sepia-footer-bg);--color-footer-text:var(--palette-sepia-footer-text)}:root{--font-body:"Computer Modern Serif", "Latin Modern Roman", Georgia, serif;--line-height:1.6;--max-width:42em;--header-title-height:2.2em;--header-nav-height:2.3em;--header-height:calc(var(--header-title-height) + var(--header-nav-height));--header-height-mobile:2.5em}html{min-height:100%;overflow-y:scroll}#root{flex-direction:column;min-height:100vh;display:flex}body{font-family:var(--font-body);padding:calc(var(--header-height) + 1em) 0 0;line-height:var(--line-height);color:var(--color-text);background:var(--color-bg);text-align:justify;-webkit-hyphens:auto;hyphens:auto;overflow-wrap:break-word;margin:0}@media (width<=640px){body{padding-top:calc(var(--header-height-mobile) + 1em)}}h1,h2,h3,h4,h5,h6{text-align:left;-webkit-hyphens:none;hyphens:none}li{text-align:left}a{color:var(--color-ref);text-decoration:none}a:hover{color:var(--color-ref-hover);text-decoration:underline}.post-content a[href]:not(.math-ref):after{content:" ↗";vertical-align:super;font-size:.75em}.math-env{margin:1.5em 0;padding:.5em 0}.math-env-header{white-space:nowrap;text-align:left;-webkit-hyphens:none;hyphens:none;font-style:normal}.math-env-tag{color:var(--color-env-tag);margin-left:.5em;font-size:.8em}button.math-env-tag.copyable{all:unset;color:var(--color-env-tag);cursor:pointer;-webkit-user-select:none;user-select:none;margin-left:.5em;font-size:.8em}.math-env-tag.copyable:hover,.math-env-tag.copied{color:var(--color-ref)}.math-env-body-plain{font-style:italic}.math-env-body-definition,.math-env-body-remark{font-style:normal}.math-env-remark-label{font-style:italic;font-weight:400}.math-proof{margin:1em 0}.math-proof>summary{cursor:pointer;font-style:italic}.math-proof-body{margin:.5em 0}.math-proof-qed{float:right;color:var(--color-proof-qed);margin-left:1em}.math-ref{color:var(--color-ref);cursor:pointer;border-bottom:1px dotted var(--color-ref);text-decoration:none}.math-ref:hover{color:var(--color-ref-hover);border-bottom-style:solid}.math-ref-wrapper{display:inline;position:relative}.math-ref-popover{z-index:100;visibility:hidden;background:var(--color-popover-bg);border:1px solid var(--color-border);min-width:250px;max-width:450px;box-shadow:0 2px 8px var(--color-popover-shadow);border-radius:4px;margin-bottom:4px;padding:.75em;font-style:normal;display:block;position:absolute;bottom:100%;left:0}.math-ref-popover-header{border-bottom:1px solid var(--color-border-light);justify-content:space-between;align-items:center;margin-bottom:.5em;padding-bottom:.25em;display:flex}.math-ref-popover-navigate{cursor:pointer;color:var(--color-ref);background:0 0;border:none;font-size:1.2em}.math-ref-popover-navigate:hover{color:var(--color-ref-hover)}.math-ref-popover-navigate.same-page{color:var(--color-text-muted)}.math-ref-popover-navigate.cross-page{color:var(--color-ref)}.math-ref-popover-content{font-size:.9em;display:block}.math-ref-popover-loading{color:var(--color-loading);font-style:italic;display:block}.math-cite{color:var(--color-cite);cursor:pointer}.math-cite:hover{color:var(--color-cite-hover)}.math-cite-unknown{color:var(--color-cite-unknown);-webkit-text-decoration:underline wavy;text-decoration:underline wavy}.cite-ref-wrapper{display:inline;position:relative}.cite-ref-popover{z-index:100;visibility:hidden;background:var(--color-popover-bg);border:1px solid var(--color-border);min-width:220px;max-width:400px;box-shadow:0 2px 8px var(--color-popover-shadow);border-radius:4px;margin-bottom:4px;padding:.6em .8em;font-size:.85em;font-style:normal;line-height:1.4;display:block;position:absolute;bottom:100%;left:0}.cite-ref-title{margin-bottom:.2em;font-weight:700;display:block}.cite-ref-title a{color:var(--color-ref)}.cite-ref-author{color:var(--color-text-muted);margin-bottom:.2em;display:block}.cite-ref-meta{color:var(--color-text-muted);font-size:.9em;display:block}.cite-ref-link{margin-top:.3em;font-size:.9em;display:block}.cite-ref-link a{color:var(--color-ref)}.math-bibliography{border-top:1px solid var(--color-border);margin-top:3em;padding-top:1em}.math-bibliography ol{padding-left:1.5em}.math-bibliography li{word-break:break-all;overflow-wrap:anywhere;margin-bottom:.5em}.site-header{text-align:center;-webkit-hyphens:none;hyphens:none;z-index:200;background:var(--color-bg);border-bottom:1px solid var(--color-border);transition:transform .2s;position:fixed;top:0;left:0;right:0}.site-header.compact{transform:translateY(calc(-1 * var(--header-title-height)))}.site-header-inner{max-width:var(--max-width);flex-direction:column;align-items:center;margin:0 auto;padding:0 1em;display:flex}.site-title{height:var(--header-title-height);color:var(--color-text);justify-content:center;align-items:center;font-size:1.25em;font-weight:700;text-decoration:none;display:flex}.site-title:hover{color:var(--color-text);text-decoration:none}.desktop-nav-row{height:var(--header-nav-height);grid-template-columns:1fr auto 1fr;align-items:center;width:100%;display:grid}.desktop-nav-row:before{content:""}.desktop-nav{flex-wrap:wrap;justify-content:center;align-items:center;gap:1.5em;display:flex}.desktop-nav-right{justify-content:flex-end;align-items:center;display:flex}.nav-item{position:relative}.submenu{background:var(--color-bg);border:1px solid var(--color-border);white-space:nowrap;box-shadow:0 2px 6px var(--color-popover-shadow);z-index:210;border-radius:4px;padding:.4em .8em;display:none;position:absolute;top:100%;left:0}.nav-item.has-submenu:hover .submenu{flex-direction:column;gap:.3em;display:flex}.submenu-link{color:var(--color-text-muted);padding:.2em 0;font-size:.85em;text-decoration:none}.submenu-link:hover{color:var(--color-ref)}.mobile-nav{display:none}.mobile-nav-group{flex-direction:column;display:flex}.mobile-nav-children{flex-direction:column;gap:.4em;margin-top:.3em;padding-left:1em;display:flex}.mobile-nav-child{color:var(--color-text-muted);font-size:.9em}.nav-link{color:var(--color-text-muted);font-size:.9em;text-decoration:none}.nav-link:hover{color:var(--color-ref)}.hamburger{cursor:pointer;background:0 0;border:none;margin-left:auto;padding:.5em;display:none}.hamburger-line{background:var(--color-text);width:1.5em;height:2px;margin:4px 0;display:block}.settings-gear{cursor:pointer;color:var(--color-text-muted);background:0 0;border:none;padding:.2em;font-size:1.2em;line-height:1}.settings-gear:hover{color:var(--color-text)}.mobile-nav-settings-btn{border:none;border-top:1px solid var(--color-border-light);cursor:pointer;color:var(--color-text-muted);text-align:left;background:0 0;width:100%;margin-top:1.5em;padding-top:1em;font-size:.95em;display:block}.mobile-nav-settings-btn:hover{color:var(--color-text)}.settings-backdrop{z-index:400;background:#0006;position:fixed;inset:0}.settings-panel{z-index:410;background:var(--color-bg);border:1px solid var(--color-border);border-radius:8px;width:min(400px,90vw);max-height:80vh;position:fixed;top:50%;left:50%;overflow-y:auto;transform:translate(-50%,-50%);box-shadow:0 4px 24px #0003}.settings-panel-header{border-bottom:1px solid var(--color-border-light);justify-content:space-between;align-items:center;padding:1em 1.25em;display:flex}.settings-panel-header h2{margin:0;font-size:1.1em}.settings-close{cursor:pointer;color:var(--color-text-muted);background:0 0;border:none;font-size:1.5em;line-height:1}.settings-close:hover{color:var(--color-text)}.settings-panel-body{padding:1em 1.25em}.settings-row{cursor:pointer;justify-content:space-between;align-items:center;padding:.5em 0;display:flex}.settings-row span{font-size:.95em}.settings-row input[type=checkbox]{width:1.1em;height:1.1em}.settings-panel-footer{border-top:1px solid var(--color-border-light);justify-content:flex-end;margin-top:.5em;padding-top:1em;display:flex}.settings-confirm-btn{border:1px solid var(--color-ref);background:var(--color-ref);color:var(--color-bg);cursor:pointer;border-radius:4px;padding:.4em 1.5em;font-size:.9em}.settings-confirm-btn:hover{background:var(--color-ref-hover);border-color:var(--color-ref-hover)}.settings-section{margin-bottom:1.2em}.settings-section h3{text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-muted);margin:0 0 .6em;font-size:.85em}.settings-theme-options{gap:.6em;display:flex}.settings-theme-btn{border:2px solid var(--color-border);cursor:pointer;color:var(--color-text-muted);background:0 0;border-radius:6px;flex-direction:column;align-items:center;gap:.3em;padding:.5em .8em;font-size:.85em;transition:border-color .15s;display:flex}.settings-theme-btn.active{border-color:var(--color-ref);color:var(--color-text)}.settings-theme-btn:hover{border-color:var(--color-ref)}.settings-theme-preview{border:1px solid #0000001a;border-radius:3px;width:2.5em;height:1.5em;display:block}.theme-preview-light{background:#fff}.theme-preview-dark{background:#1a1a1a}.theme-preview-sepia{background:#f5efe0}.menu-backdrop{display:none}@media (width<=640px){.site-header-inner{height:var(--header-height-mobile);flex-direction:row;align-items:center;padding:0 1em}.site-header{transition:background .2s}.site-header.compact{background:color-mix(in srgb, var(--color-bg) 40%, transparent);-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);transform:none}.site-header.compact .site-title{opacity:0;pointer-events:none}.site-header.compact .hamburger{opacity:1}.site-title{height:auto;margin-right:auto;font-size:1em;transition:opacity .15s}.desktop-nav-row{display:none}.hamburger{display:block}.mobile-nav{background:var(--color-bg);border-left:1px solid var(--color-border);width:220px;box-shadow:-2px 0 8px var(--color-popover-shadow);z-index:300;flex-direction:column;align-items:flex-start;gap:1em;padding:4em 1.5em 2em;transition:transform .2s;display:flex;position:fixed;top:0;bottom:0;right:0;overflow-y:auto;transform:translate(100%)}.mobile-nav.open{transform:translate(0)}.mobile-nav .nav-link{padding:.25em 0;font-size:1em}.menu-backdrop{z-index:250;opacity:0;pointer-events:none;background:#0000004d;transition:opacity .2s;position:fixed;inset:0}.menu-backdrop.visible{opacity:1;pointer-events:auto;display:block}}.name-ja{color:var(--color-text-muted);font-size:.8em}.not-found{text-align:center;padding:4em 0}.not-found h1{color:var(--color-text-muted);margin:0;font-size:4em}.post-nav{border-top:1px solid var(--color-border);grid-template-columns:1fr auto 1fr;align-items:center;gap:1em;margin-top:3em;padding-top:1.5em;font-size:.9em;display:grid}.post-nav-prev{text-align:left}.post-nav-back{text-align:center}.post-nav-next{text-align:right}.activities-table{border-collapse:collapse;text-align:left;-webkit-hyphens:none;hyphens:none;width:100%}.activities-table td{vertical-align:top;border-bottom:1px solid var(--color-border-light);padding:.4em .8em .4em 0}.activities-date{white-space:nowrap;color:var(--color-text-muted);width:1%;font-size:.9em}.activities-venue{color:var(--color-text-muted);font-size:.9em}.activities-note{color:var(--color-text-muted);font-size:.85em;font-style:italic}.talk-list li{margin-bottom:1em}.content-area{box-sizing:border-box;width:100%;max-width:calc(var(--max-width) + 2em);flex:1;margin:0 auto;padding:0 1em 3em}.site-footer{text-align:center;background:var(--color-footer-bg);color:var(--color-footer-text);margin-top:auto;padding:.5em 1em 0;font-size:.75em}.post-date{color:var(--color-text-muted);font-size:.9em}.post-category{margin-bottom:1.5em}.post-category h2{color:var(--color-text-muted);margin-bottom:.5em;font-size:1.1em}.post-category ul{padding-left:0;list-style:none}.post-category li{margin-bottom:.3em}mjx-container[jax=SVG]{direction:ltr}mjx-container[jax=SVG]>svg{min-width:1px;min-height:1px;overflow:visible}mjx-container[jax=SVG][display=true]{text-align:center;margin:1em 0;display:block}.tikz-figure{justify-content:center;margin:1.5em 0;display:flex}.tikz-figure svg{max-width:100%;height:auto}.tikz-error{color:#664d03;background:#fff3cd;border:1px solid #ffc107;border-radius:4px;margin:1em 0;padding:.75em;font-size:.9em}