.NavBar{top:0;position:fixed;width:100%;height:var(--navbar-height);z-index:999;color:var(--sh-navbar-fg);background:var(--sh-navbar-bg);border-bottom:1px solid var(--sh-navbar-border);box-shadow:0 2px 12px rgba(var(--sh-shadow-rgb),.1)}.NavBar .NavBarInner{display:flex;flex-wrap:nowrap;align-items:center;gap:clamp(.55rem,1.5vw,1.2rem);height:100%;padding:0 clamp(.75rem,2vw,1.5rem)}.NavBar .NavBarBrandArea{flex:0 0 auto;display:flex;align-items:center}.NavBar .NavBarBrand{display:flex;align-items:center;margin:0;padding:0}.NavBar .NavBarBrand img{display:block;width:auto;max-width:min(15vw,174px);height:35px;object-fit:contain}.NavBar .NavBarSearch{flex:1 1 30rem;width:100%;max-width:600px;margin-inline:auto}.NavBar .NavBarActions{flex:0 0 auto;display:flex;align-items:center;gap:.35rem}.NavBar .NavBarSearchField{position:relative;display:flex;align-items:center;width:100%;height:32px;color:var(--sh-navbar-field-fg);background:var(--sh-navbar-field-bg);border:1px solid var(--sh-navbar-border);border-radius:7px;transition:box-shadow .18s ease,background-color .18s ease}.NavBar .NavBarSearchField:focus-within{box-shadow:0 0 0 3px var(--sh-navbar-focus)}.NavBar .NavBarSearchField>.bi{flex:0 0 auto;margin-left:.72rem;color:var(--sh-navbar-field-placeholder);font-size:.85rem}.NavBar .NavBarSearchField .form-control{min-width:0;height:100%;padding:.3rem .55rem;color:var(--sh-navbar-field-fg);background:rgba(0,0,0,0);border:0;box-shadow:none;font-size:.84rem}.NavBar .NavBarSearchField .form-control::placeholder{color:var(--sh-navbar-field-placeholder)}.NavBar .NavBarIconButton,.NavBar .NavBarPostButton,.NavBar .NavBarUserButton{display:inline-flex;align-items:center;justify-content:center;height:40px;color:var(--sh-navbar-fg);border:0;border-radius:8px;transition:background-color .18s ease,box-shadow .18s ease,transform .18s ease}.NavBar .NavBarIconButton{width:40px;padding:0;background:rgba(0,0,0,0)}.NavBar .NavBarUserButton{gap:.4rem;padding:0 .4rem;background:rgba(0,0,0,0)}.NavBar .NavBarPostButton{gap:.42rem;height:32px;padding:0 .78rem;color:var(--sh-navbar-cta-fg);background:var(--sh-navbar-cta-bg);font-size:.82rem;font-weight:700;box-shadow:0 2px 8px rgba(var(--sh-shadow-rgb),.15);white-space:nowrap}.NavBar .NavBarIconButton:hover,.NavBar .NavBarUserButton:hover{background:var(--sh-navbar-hover)}.NavBar .NavBarPostButton:hover{background:var(--sh-navbar-cta-hover-bg);transform:translateY(-1px)}.NavBar .NavBarIconButton:focus-visible,.NavBar .NavBarPostButton:focus-visible,.NavBar .NavBarUserButton:focus-visible{outline:3px solid var(--sh-navbar-focus);outline-offset:2px}.NavBar .NavBarPostButton:disabled{opacity:.55;transform:none}.NavBar .NavBarNotificationBadge{position:absolute;top:2px;right:0;min-width:18px;height:18px;padding:0 4px;color:#fff;background:#e34f61;border:2px solid var(--sh-navbar-badge-ring);border-radius:9px;font-size:.62rem;font-weight:700;line-height:14px}.NavBar .NavBarDropdown{margin-top:.55rem!important;padding:.5rem;color:var(--sh-text-strong);border:1px solid var(--sh-border);border-radius:8px;box-shadow:0 12px 32px rgba(var(--sh-shadow-rgb),.16)}.NavBar .NavBarDropdownHeading{padding:.35rem .65rem .45rem;color:var(--sh-text-subtle);font-size:.72rem;font-weight:700;letter-spacing:.04em}.NavBar .NavBarDropdown .dropdown-item{display:flex;align-items:center;gap:.7rem;padding:.62rem .7rem;border-radius:6px;color:var(--sh-text-strong);font-size:.88rem}.NavBar .NavBarDropdown .dropdown-item:focus,.NavBar .NavBarDropdown .dropdown-item:hover{color:var(--sh-brand-strong);background:var(--sh-brand-soft)}.NavBar .NavBarDropdown .dropdown-item>.bi{width:1.2rem;color:var(--sh-brand);font-size:1rem;text-align:center}.NavBar .NavBarDropdown .dropdown-divider{margin:.4rem .2rem;border-color:var(--sh-border)}.NavBar .NavBarPostMenu{width:280px}.NavBar .NavBarPostMenu .dropdown-item small,.NavBar .NavBarPostMenu .dropdown-item strong{display:block}.NavBar .NavBarPostMenu .dropdown-item strong{font-size:.88rem}.NavBar .NavBarPostMenu .dropdown-item small{margin-top:.08rem;color:var(--sh-text-subtle);font-size:.72rem}.NavBar .NavBarPostMenu .NavBarDropdownSimpleItem{font-weight:600}.NavBar .NavBarUserMenu{min-width:230px}.NavBar .NavBarNotificationList{width:min(330px,100vw - 1.5rem);max-height:420px}.NavBar .NavBarNotificationList.hasNotifications{overflow-y:auto;scrollbar-width:thin}.NavBar .NavBarMobileSearch{height:auto;color:var(--sh-text);background:var(--sh-surface);border:0;box-shadow:0 10px 30px rgba(var(--sh-shadow-rgb),.14)}.NavBar .NavBarMobileSearch .NavBarSearchField{color:var(--sh-text);background:var(--sh-surface-subtle);border-color:var(--sh-border)}.NavBar .NavBarMobileSearch .NavBarSearchField .form-control::placeholder,.NavBar .NavBarMobileSearch .NavBarSearchField>.bi{color:var(--sh-text-subtle)}.NavBar .NavBarMobileSearch .NavBarSearchField .form-control{color:var(--sh-text)}.NavBar .NavBarMobileSearchInner{gap:.75rem;padding:.75rem}.NavBar a:active{color:inherit!important;background-color:inherit!important}@media screen and (max-width:991px){.NavBar .NavBarInner{gap:.35rem;padding-inline:.65rem}.NavBar .NavBarBrandArea{min-width:0;margin-right:auto;overflow:hidden}.NavBar .NavBarBrand img{max-width:145px;height:32px}.NavBar .NavBarActions{gap:.15rem}.NavBar .NavBarPostButton,.NavBar .NavBarUserButton{width:40px;padding:0}}@media screen and (max-width:420px){.NavBar .NavBarBrand img{width:clamp(96px,34vw,120px);max-width:100%;height:auto;object-fit:contain}}.Container.hasNavBarContents{padding-top:var(--navbar-height)}.CategoryLabel{font-size:.8em}.CategoryLabel.color-type-a{background-color:#9ae;color:#fff}.CategoryLabel.color-type-b{background-color:#8fd8a7;color:#fff}.FollowButton{color:var(--bs-light-text-emphasis)}.FollowButton,.FollowButton:hover{border:1px solid #000;border-radius:10px}.LatexMarkdown table thead th{background-color:var(--color-theme);color:var(--sh-text-on-accent);padding:5px 10px;border:1px solid var(--sh-border)}.LatexMarkdown table td{background-color:var(--sh-surface-subtle);padding:5px 10px;border:1px solid var(--sh-border)}.LatexMarkdown a{width:200px;display:block!important;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.LatexMarkdown h1,.LatexMarkdown h2,.LatexMarkdown h3{font-size:1.4rem;font-weight:700;text-decoration:underline}.LatexMarkdown h4{font-size:1.2rem;font-weight:700;text-decoration:underline}.LatexMarkdown h5,.LatexMarkdown h6{font-size:1rem;font-weight:700;text-decoration:underline}.LatexMarkdown ul li{list-style:inside}.LatexMarkdown ol li{list-style:auto}.LatexMarkdown blockquote{border-left:4px solid var(--color-theme);background:var(--sh-surface-subtle);padding:10px 20px;margin:16px 0;font-style:italic;color:var(--bs-gray-dark)}.LatexMarkdown blockquote p{margin-bottom:0}.Container{--sidebar-abstract:150px;--sidebar-second-abstract:250px}.Container,.Container .SideBar{background-color:var(--sh-surface-subtle)}.Container .SideBar{width:var(--sidebar-abstract);height:calc(100vh - var(--navbar-height));left:0;top:var(--navbar-height);position:fixed;z-index:99}.Container .MainContents{background-color:var(--sh-bg);width:calc(100vw - var(--sidebar-second-abstract));padding-left:var(--sidebar-abstract)}.Container .MainContents .Comment p{margin-bottom:0}.Container .SideBarSecond{background-color:var(--sh-surface-subtle);width:var(--sidebar-second-abstract);height:calc(100vh - var(--navbar-height));right:0;position:fixed;z-index:-1}.NoteAbstractHeader{padding-bottom:1.1rem;border-bottom:1px solid var(--sh-border)}.NoteAbstractHeader__author{margin-bottom:.8rem}.NoteAbstractHeader__category{margin:0;font-size:1rem}.NoteAbstractHeader__titleRow{display:flex;align-items:flex-start;justify-content:space-between;gap:.35rem;margin-top:.55rem}.NoteAbstractHeader__title{margin:0;color:var(--sh-text-strong);font-size:clamp(1.65rem,3vw,2.15rem);font-weight:700;line-height:1.35;overflow-wrap:anywhere}.NoteAbstractHeader__ownerActions{display:flex;flex:0 0 auto;align-items:center;gap:.45rem}.NoteAbstractHeader__actions{display:flex;flex-wrap:wrap;align-items:center;gap:.7rem 1rem;margin-top:1rem}.NoteAbstractHeader__readActions{display:flex;flex-wrap:wrap;gap:.5rem}.NoteAbstractHeader__readButton{display:inline-flex;align-items:center;gap:.4rem;padding:.42rem .72rem;border:1px solid var(--sh-border-strong);border-radius:.45rem;background:var(--sh-bg);color:var(--sh-link-hover);font-size:.82rem;font-weight:700;text-decoration:none;transition:background-color .15s ease,border-color .15s ease}.NoteAbstractHeader__readButton:hover{border-color:var(--sh-border-accent);background:var(--sh-surface-subtle);color:var(--sh-link-hover)}.NoteAbstractHeader__readButton--primary{border-color:var(--sh-primary);background:var(--sh-primary);color:var(--sh-text-on-accent)}.NoteAbstractHeader__readButton--primary:hover{border-color:var(--sh-primary-hover);background:var(--sh-primary-hover);color:var(--sh-text-on-accent)}.NotePublishButton{display:inline-flex;min-height:34px;align-items:center;gap:.42rem;padding:.4rem .72rem;border:1px solid var(--sh-primary);border-radius:.42rem;background:var(--sh-primary);color:var(--sh-text-on-accent);font-size:.76rem;font-weight:700;transition:background-color .15s ease,border-color .15s ease,transform .15s ease}.NotePublishButton:hover{border-color:var(--sh-primary-hover);background:var(--sh-primary-hover);transform:translateY(-1px)}.NotePublishedButton{display:inline-flex;min-height:34px;align-items:center;gap:.4rem;padding:.4rem .65rem;border:1px solid var(--sh-border-strong);border-radius:.42rem;background:var(--sh-bg);color:var(--sh-text-muted);font-size:.76rem;font-weight:700;transition:background-color .15s ease,border-color .15s ease}.NotePublishedButton:hover{border-color:var(--sh-border-accent);background:var(--sh-surface-subtle);color:var(--sh-text)}.NotePublishedButton>i{color:var(--sh-text-subtle)}.NoteVisibilityStatus{display:inline-flex;align-items:center;gap:.55rem;padding-left:.75rem;border-left:1px solid var(--sh-border);font-size:.68rem;line-height:1}.NoteVisibilityStatus__label{color:var(--sh-text-subtle);font-size:.62rem;letter-spacing:.08em}.NoteVisibilityStatus__value{display:inline-flex;align-items:center;gap:.35rem;color:var(--sh-text-muted);font-weight:700;letter-spacing:.03em}.NoteVisibilityStatus__value i{width:.38rem;height:.38rem;border-radius:50%;background:#909c97}.NoteVisibilityStatus--open .NoteVisibilityStatus__value{color:var(--sh-primary-hover)}.NoteVisibilityStatus--open .NoteVisibilityStatus__value i{background:var(--sh-primary);box-shadow:0 0 0 2px rgba(47,154,115,.12)}.NoteEditMenuButton{display:inline-flex;flex:0 0 auto;align-items:center;gap:.38rem;margin-top:.15rem;padding:.4rem .65rem;border:1px solid var(--sh-border-strong);border-radius:.42rem;background:var(--sh-bg);color:var(--sh-link-hover);font-size:.76rem;font-weight:700}.NoteEditMenuButton:hover,.NoteEditMenuButton[aria-expanded=true]{border-color:var(--sh-border-accent);background:var(--sh-surface-subtle);color:var(--sh-link-hover)}.NoteEditMenuButton__chevron{margin-left:.1rem;font-size:.58rem}.NoteEditMenu{min-width:13rem;padding:.4rem;border-color:var(--sh-border);border-radius:.5rem;box-shadow:0 .7rem 1.8rem rgba(var(--sh-shadow-rgb),.14)}.NoteEditMenu .dropdown-item{border-radius:.32rem;font-size:.78rem}.CitationActions{padding-left:1rem;border-left:1px solid var(--sh-border)}.CitationActions .btn{border-radius:.4rem;font-size:.72rem}.NoteAbstractMeta__tags{display:flex;flex-wrap:wrap;align-items:center;gap:.35rem;margin-top:1rem}.NoteAbstractMeta__counts{margin-top:.65rem;margin-bottom:1.6rem}.NoteAbstractMeta__counts,.NoteDraftNotice{display:flex;align-items:center;color:var(--sh-text-muted)}.NoteDraftNotice{gap:.7rem;margin:-1rem 0 2.5rem;padding:.75rem .9rem;border:1px solid var(--sh-border);border-radius:.45rem;background:var(--sh-surface-subtle)}.NoteDraftNotice>i{color:var(--sh-text-subtle);font-size:1rem}.NoteDraftNotice>span{display:flex;flex-direction:column;gap:.08rem}.NoteDraftNotice strong{color:var(--sh-text);font-size:.8rem}.NoteDraftNotice small{font-size:.7rem}.NoteAbstractSection{margin-bottom:2.75rem}.NoteAbstractSection__label{display:flex;align-items:center;gap:.75rem;margin:0 0 1rem;padding-bottom:.55rem;border-bottom:1px solid var(--sh-border);color:var(--sh-text);font-size:.88rem;font-weight:700;letter-spacing:.08em}.NoteAbstractSection__label:before{width:.22rem;height:1rem;border-radius:999px;background:#65ae90;content:""}.NoteAbstractSection .Abstract{max-width:52rem;color:var(--sh-text);font-size:.98rem;line-height:1.95;letter-spacing:.015em}.NoteAbstractSection .LatexMarkdown>:first-child{margin-top:0}.NoteAbstractSection .LatexMarkdown>:last-child{margin-bottom:0}.NoteAbstractSection .LatexMarkdown p{margin:0 0 1.05rem}.NoteAbstractSection .LatexMarkdown h1,.NoteAbstractSection .LatexMarkdown h2,.NoteAbstractSection .LatexMarkdown h3,.NoteAbstractSection .LatexMarkdown h4,.NoteAbstractSection .LatexMarkdown h5,.NoteAbstractSection .LatexMarkdown h6{margin:1.65rem 0 .65rem;color:var(--sh-text);font-weight:700;line-height:1.5;text-decoration:none}.NoteAbstractSection .LatexMarkdown h1,.NoteAbstractSection .LatexMarkdown h2{font-size:1.18rem}.NoteAbstractSection .LatexMarkdown h3{font-size:1.08rem}.NoteAbstractSection .LatexMarkdown h4,.NoteAbstractSection .LatexMarkdown h5,.NoteAbstractSection .LatexMarkdown h6{font-size:1rem}.NoteAbstractSection .LatexMarkdown ol,.NoteAbstractSection .LatexMarkdown ul{margin:.75rem 0 1.15rem;padding-left:1.5rem}.NoteAbstractSection .LatexMarkdown ul li{list-style:disc outside}.NoteAbstractSection .LatexMarkdown ol li{list-style-position:outside}.NoteAbstractSection .LatexMarkdown li{margin:.22rem 0;padding-left:.15rem}.NoteAbstractSection .LatexMarkdown a{display:inline!important;width:auto;color:var(--sh-link);overflow:visible;text-decoration-thickness:.08em;text-underline-offset:.2em;white-space:normal}.NoteAbstractSection .LatexMarkdown blockquote{margin:1.25rem 0;padding:.75rem 1rem;border-left:3px solid var(--sh-border-accent);background:var(--sh-surface-subtle);color:var(--sh-text-muted);font-style:normal}.NoteAbstractSection .LatexMarkdown code{padding:.12em .35em;border-radius:.25rem;background:var(--sh-surface-subtle);color:var(--sh-text);font-size:.9em}.NoteAbstractSection .LatexMarkdown pre{margin:1.2rem 0;padding:.9rem 1rem;overflow-x:auto;border:1px solid var(--sh-border);border-radius:.4rem;background:var(--sh-surface-subtle);line-height:1.65}.NoteAbstractSection .LatexMarkdown pre code{padding:0;background:rgba(0,0,0,0)}.NoteAbstractSection .LatexMarkdown .katex-display{margin:1.35rem 0;padding:.2rem 0;overflow-x:auto;overflow-y:hidden}.NoteAbstractSection .LatexMarkdown table{margin:1.25rem 0;font-size:.9rem}.NoteAbstractSection .LatexMarkdown hr{margin:1.75rem 0;border-color:var(--sh-border);opacity:1}.AuthorCard{border-color:var(--sh-border);border-radius:.55rem;box-shadow:0 .3rem 1rem rgba(var(--sh-shadow-rgb),.05)}.CommentComposer{padding-top:.25rem}.CommentSectionTitle{display:flex;align-items:center;gap:.5rem;color:var(--sh-text);font-size:1.2rem;font-weight:700}.CommentSectionHint{margin:.3rem 0 .8rem;color:var(--sh-text-subtle);font-size:.78rem}@media screen and (max-width:768px){.CitationActions{width:100%;padding-top:.7rem;padding-left:0;border-top:1px solid var(--sh-border);border-left:0}.NoteEditMenuButton span,.NotePublishButton span{display:none}.NoteAbstractSection .Abstract{font-size:.94rem;line-height:1.85}}.HtmlReader{--reader-bg:var(--sh-surface);--reader-color:var(--sh-text);--reader-muted-bg:var(--sh-surface-subtle);--reader-border:var(--sh-border);margin-inline:auto;max-width:56rem;position:relative;color:var(--reader-color);line-height:1.95}.HtmlReader a{color:var(--sh-link)}.HtmlReader a:hover{color:var(--sh-link-hover)}.HtmlNoteHeader{margin-bottom:1rem}.HtmlNoteHeader__author{margin-bottom:.75rem}.HtmlNoteHeader__category{margin:0;font-size:1rem}.HtmlNoteHeader__title{margin:.45rem 0;color:var(--sh-text-strong);font-size:clamp(1.65rem,3vw,2.15rem);font-weight:700;line-height:1.35;overflow-wrap:anywhere}.HtmlNoteHeader__back{display:inline-flex;align-items:center;gap:.45rem;color:var(--sh-primary-hover);font-size:.7rem;font-weight:600;text-decoration:none}.HtmlNoteHeader__back:hover{color:var(--sh-link-hover);text-decoration:underline;text-underline-offset:.2em}.HtmlNoteBody{margin-bottom:2.5rem}.HtmlReader__toc{margin-bottom:2.25rem}.HtmlReader__tocHeader{display:flex;align-items:center;padding:0 0 .5rem;border-bottom:1px solid var(--reader-border);color:var(--reader-color)}.HtmlReader__tocHeader>span{display:inline-flex;align-items:center;gap:.45rem;font-size:.8rem;font-weight:700;letter-spacing:.06em}.HtmlReader__tocHeader>span i{color:var(--sh-primary)}.HtmlReader__toc nav{padding-top:.7rem}.HtmlReader__toc ol{margin:0;padding:0 0 0 1.65rem}.HtmlReader__toc li{margin:.3rem 0;padding-left:.2rem;list-style:decimal;color:var(--sh-text-subtle);font-size:.76rem;line-height:1.65}.HtmlReader__toc li::marker{color:var(--sh-text-subtle);font-size:.68rem;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.HtmlReader__toc a{color:inherit;text-decoration:none}.HtmlReader__toc a:hover{color:var(--sh-link);text-decoration:underline;text-underline-offset:.18em}.HtmlReader__tocSub{margin-left:1rem!important;font-size:.72rem!important}.HtmlReader__tocToggle{display:inline-flex;align-items:center;gap:.5rem;margin-top:.65rem;padding:.25rem 0;border:0;border-bottom:1px solid rgba(0,0,0,0);background:rgba(0,0,0,0);color:var(--sh-primary-hover);font-size:.7rem;font-weight:700}.HtmlReader__tocToggle:hover{border-bottom-color:currentColor;color:var(--sh-link-hover)}.HtmlReader__content{overflow-wrap:anywhere;font-size:1rem}.HtmlReader__content h2,.HtmlReader__content h3{color:var(--reader-color);scroll-margin-top:calc(var(--navbar-height) + 1.25rem)}.HtmlReader__content h2{display:flex;align-items:center;gap:.7rem;margin:3rem 0 1.15rem;padding:0 0 .6rem;border-bottom:1px solid var(--reader-border);font-size:1.38rem;line-height:1.45}.HtmlReader__content h2:before{width:.24rem;height:1.15em;flex:0 0 auto;border-radius:999px;background:#65ae90;content:""}.HtmlReader__content h3{display:flex;align-items:baseline;gap:.55rem;margin:2.15rem 0 .85rem;color:color-mix(in srgb,var(--reader-color) 88%,var(--sh-primary));font-size:1.12rem;font-weight:700;line-height:1.5}.HtmlReader__content h3:before{width:.42rem;height:.42rem;flex:0 0 auto;border:1.5px solid #65ae90;border-radius:50%;content:"";transform:translateY(-.05em)}.HtmlReader__content h2+h3{margin-top:1.35rem}.HtmlReader__content p{margin:0 0 1.15rem}.HtmlReader__content a{text-underline-offset:.18em}.HtmlReader__content canvas,.HtmlReader__content img,.HtmlReader__content svg{max-width:100%;height:auto}.HtmlReader__content table{display:block;max-width:100%;overflow-x:auto}.HtmlReader__content .displaymath,.HtmlReader__content .equation,.HtmlReader__content .equation-star,.HtmlReader__content .formula,.HtmlReader__content math[display=block]{max-width:100%;overflow-x:auto;overflow-y:hidden;margin-block:.8rem;padding-block:.4rem}.HtmlReader__content pre{max-width:100%;overflow-x:auto;padding:1rem;background:var(--reader-muted-bg)}@media screen and (max-width:992px){.Container .SideBar{width:80px}.Container .MainContents{width:100%;padding-left:80px}}@media screen and (max-width:768px){.Container .MainContents{padding-left:0}.HtmlReader__content{font-size:.94rem;line-height:1.85}.HtmlReader__content h2{margin-top:2.4rem;font-size:1.28rem}}