.NavBar{top:0;position:fixed;width:100%;height:var(--navbar-height);z-index:999;color:#fff;background:linear-gradient(105deg,#108c84,#159d93 52%,#138f88);border-bottom:1px solid rgba(4,70,67,.2);box-shadow:0 2px 12px rgba(16,68,65,.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:#42625f;background:hsla(0,0%,100%,.96);border:1px solid hsla(0,0%,100%,.55);border-radius:7px;transition:box-shadow .18s ease,background-color .18s ease}.NavBar .NavBarSearchField:focus-within{background:#fff;box-shadow:0 0 0 3px rgba(220,255,250,.28)}.NavBar .NavBarSearchField>.bi{flex:0 0 auto;margin-left:.72rem;color:#56807c;font-size:.85rem}.NavBar .NavBarSearchField .form-control{min-width:0;height:100%;padding:.3rem .55rem;color:#183b38;background:rgba(0,0,0,0);border:0;box-shadow:none;font-size:.84rem}.NavBar .NavBarSearchField .form-control::placeholder{color:#78918f}.NavBar .NavBarIconButton,.NavBar .NavBarPostButton,.NavBar .NavBarUserButton{display:inline-flex;align-items:center;justify-content:center;height:40px;color:#fff;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:#0b7069;background:#fff;font-size:.82rem;font-weight:700;box-shadow:0 2px 8px rgba(6,71,67,.15);white-space:nowrap}.NavBar .NavBarIconButton:hover,.NavBar .NavBarUserButton:hover{background:hsla(0,0%,100%,.15)}.NavBar .NavBarPostButton:hover{background:#effbf9;transform:translateY(-1px)}.NavBar .NavBarIconButton:focus-visible,.NavBar .NavBarPostButton:focus-visible,.NavBar .NavBarUserButton:focus-visible{outline:3px solid hsla(0,0%,100%,.65);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 #15978e;border-radius:9px;font-size:.62rem;font-weight:700;line-height:14px}.NavBar .NavBarDropdown{margin-top:.55rem!important;padding:.5rem;color:#273c3a;border:1px solid #dce8e6;border-radius:8px;box-shadow:0 12px 32px rgba(25,61,58,.16)}.NavBar .NavBarDropdownHeading{padding:.35rem .65rem .45rem;color:#70817f;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:#293c3a;font-size:.88rem}.NavBar .NavBarDropdown .dropdown-item:focus,.NavBar .NavBarDropdown .dropdown-item:hover{color:#116f68;background:#edf8f6}.NavBar .NavBarDropdown .dropdown-item>.bi{width:1.2rem;color:#268b83;font-size:1rem;text-align:center}.NavBar .NavBarDropdown .dropdown-divider{margin:.4rem .2rem;border-color:#e3eceb}.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:#728481;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;background:#f8fbfb;border:0;box-shadow:0 10px 30px rgba(15,61,58,.14)}.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:42px;max-width:42px;object-fit:cover;object-position:left}}.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}.Content{height:100%;overflow:hidden;border:1px solid rgba(23,59,58,.11);border-radius:.5rem;background:var(--bs-body-bg);box-shadow:0 .45rem 1.7rem rgba(23,59,58,.05);transition:transform .2s ease,box-shadow .2s ease}.Content:hover{transform:translateY(-3px);box-shadow:0 .8rem 2.2rem rgba(23,59,58,.1)}.Content .LatexMarkdown p{margin-bottom:0}.ContentThumbnail{aspect-ratio:4/3;border-bottom:1px solid rgba(23,59,58,.1);background:#f8f9fa}.ContentThumbnail__placeholder{color:#adb5bd;background-image:linear-gradient(rgba(25,161,150,.06) 1px,transparent 0),linear-gradient(90deg,rgba(25,161,150,.06) 1px,transparent 0);background-size:20px 20px;font-size:3rem}.Content__body{padding:1rem}.Content__heading{min-height:6.6rem}.Content__heading h3{font-size:1.02rem;line-height:1.5}.Content__heading h3 a:hover{color:var(--color-theme)}.Content__abstract{display:-webkit-box;overflow:hidden;color:#617471;font-size:.82rem;line-height:1.6;-webkit-box-orient:vertical;-webkit-line-clamp:2}.Content__byline{padding:.65rem 0;border-top:1px solid rgba(23,59,58,.07)}.Content__byline a{min-width:0;color:#526c68;font-size:.76rem}.Content__byline a>span:nth-child(2){max-width:6.5rem}.Content__footer{display:flex;align-items:center;justify-content:space-between;gap:.6rem}.Content__actions{gap:.6rem;color:#71827f}.Content__actions>div{display:flex;align-items:center;font-size:.76rem}.Content__actions .me-1{margin-right:.2rem!important}.Content--withoutAuthor .Content__heading{min-height:6rem}.HomePage{--home-ink:#183b38;--home-muted:#647c77;--home-paper:#ffffff;--home-rule:rgba(20,47,45,.18);--home-copper:#c06852;--home-card-radius:.5rem;--home-radius-sm:.75rem;background:#f4f9f7}.HomeHero{position:relative;display:grid;grid-template-columns:minmax(0,1.58fr) minmax(15rem,.72fr);padding-top:2.55rem;overflow:hidden;border:1px solid rgba(24,59,56,.16);border-radius:var(--home-card-radius);color:var(--home-ink);background:var(--home-paper);box-shadow:0 .8rem 2.4rem rgba(20,73,67,.08)}.HomeHero:before{position:absolute;top:0;bottom:0;left:2.75rem;width:1px;content:"";background:rgba(192,104,82,.18)}.HomeHero__masthead{position:absolute;top:0;right:0;left:0;display:grid;grid-template-columns:1fr auto;grid-gap:1.25rem;gap:1.25rem;padding:.62rem 1rem .55rem 3.7rem;border-bottom:1px solid rgba(24,59,56,.12);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.58rem;font-weight:700;letter-spacing:.16em}.HomeHero__content{position:relative;z-index:1;padding:clamp(2.5rem,4.2vw,4.25rem) clamp(2rem,4vw,4rem)}.HomeHero__eyebrow,.HomeSectionEyebrow{color:var(--color-theme);font-size:.69rem;font-weight:800;letter-spacing:.16em}.HomeHero__title{max-width:22em;font-family:inherit;font-size:clamp(1.85rem,2.2vw,2.2rem);font-weight:750!important;line-height:1.48;letter-spacing:-.035em;word-break:auto-phrase}.HomeHero__lead{max-width:42rem;color:#58716c;font-size:.92rem;line-height:1.9}.HomeHero__actions{display:flex;flex-wrap:wrap;gap:.65rem;margin-top:1.5rem}.HomeHero__actions .btn{padding:.72rem 1.15rem;border-radius:var(--home-radius-sm);font-size:.82rem;font-weight:700}.HomeHero__formula{position:relative;display:flex;align-items:stretch;justify-content:center;flex-direction:column;gap:2.15rem;padding:3.7rem 2rem 2.6rem;border-left:1px solid rgba(24,59,56,.13);color:rgba(20,47,45,.76);background-color:#edf5f1;background-image:linear-gradient(rgba(20,47,45,.055) 1px,transparent 0),linear-gradient(90deg,rgba(20,47,45,.055) 1px,transparent 0);background-size:21px 21px;font-size:clamp(1.1rem,1.8vw,1.65rem);white-space:nowrap}.HomeHero__formula>span{display:grid;grid-template-columns:minmax(0,1fr);align-items:baseline;grid-gap:.55rem;gap:.55rem}.HomeHero__tex{min-width:0;letter-spacing:0;word-spacing:0}.HomeHero__tex .katex{font-size:1em}.HomeHero__formula em{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding-top:.4rem;border-top:1px solid rgba(20,47,45,.12);color:rgba(20,47,45,.42);font-family:ui-monospace,monospace;font-size:.55em;font-style:normal}.HomeHero__formula em small{font-size:.62em;font-weight:700;letter-spacing:.06em;white-space:nowrap}.HomeHero__formulaMain{font-size:1.15em}.HomeHero__plateLabel{position:absolute;top:1.05rem;left:1rem;font-family:ui-monospace,monospace;font-size:.52rem;font-weight:700;letter-spacing:.14em}.HomeExplore{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));overflow:hidden;border:1px solid rgba(24,59,56,.13);border-radius:var(--home-card-radius);background:var(--home-paper);box-shadow:0 .35rem 1.2rem rgba(20,73,67,.04)}.HomeExplore>a{position:relative;display:grid;grid-template-columns:auto auto 1fr auto;align-items:center;grid-gap:.75rem;gap:.75rem;min-width:0;padding:1.05rem .9rem;color:var(--home-ink);text-decoration:none;transition:color .2s ease,background-color .2s ease}.HomeExplore>a+a{border-left:1px solid rgba(24,59,56,.12)}.HomeExplore>a:hover{color:var(--home-ink);background:#e8f3ef}.HomeExplore__index{align-self:start;color:var(--home-copper);font-family:Georgia,serif;font-size:.66rem}.HomeExplore>a>i{color:var(--color-theme);font-size:1.05rem}.HomeExplore small,.HomeExplore strong{display:block}.HomeExplore strong{font-family:inherit;font-size:.88rem}.HomeExplore small{overflow:hidden;margin-top:.2rem;color:var(--home-muted);font-size:.64rem;text-overflow:ellipsis;white-space:nowrap}.HomeExplore__arrow{font-family:Georgia,serif;transition:transform .2s ease}.HomeExplore>a:hover .HomeExplore__arrow{transform:translate(2px,-2px)}.HomeTheme{position:relative;display:grid;grid-template-columns:minmax(7rem,.26fr) 1fr auto;align-items:stretch;overflow:hidden;border:1px solid rgba(24,59,56,.14);border-radius:var(--home-card-radius);color:var(--home-ink);background:#fffaf3;box-shadow:0 .55rem 1.7rem rgba(20,73,67,.06)}.HomeTheme__month{position:relative;z-index:1;display:flex;align-items:center;justify-content:center;flex-direction:column;padding:1.5rem;border-right:1px solid rgba(24,59,56,.12);color:#fff;background:#235f59}.HomeTheme__month>span{font-family:Georgia,serif;font-size:clamp(3.5rem,6vw,5.6rem);line-height:.9}.HomeTheme__month small{margin-top:.8rem;font-family:ui-monospace,monospace;font-size:.5rem;line-height:1.5;letter-spacing:.14em;text-align:center}.HomeTheme__content{position:relative;z-index:1;padding:1.75rem 2rem 2rem}.HomeTheme__label{color:var(--home-copper);font-family:ui-monospace,monospace;font-size:.62rem;font-weight:700;letter-spacing:.12em}.HomeTheme__label span{margin-right:.8rem;padding:.22rem .45rem;border-radius:.3rem;color:#fff;background:var(--home-copper)}.HomeTheme h2{font-family:inherit;font-size:clamp(1.25rem,2.1vw,1.65rem);font-weight:750!important;line-height:1.5}.HomeTheme__description{max-width:42rem;color:#596b67;font-size:.76rem;line-height:1.75}.HomeTheme__tag{color:var(--home-ink);font-family:ui-monospace,monospace;font-size:.58rem;font-weight:700;letter-spacing:.06em;-webkit-text-decoration-color:var(--home-copper);text-decoration-color:var(--home-copper);text-underline-offset:.25rem}.HomeTheme__actions{position:relative;z-index:1;display:flex;align-items:center;justify-content:center;flex-direction:column;gap:.55rem;min-width:9.5rem;padding:1.4rem;border-left:1px dashed rgba(20,47,45,.35)}.HomeTheme__actions .btn{width:100%;border-radius:var(--home-radius-sm);font-size:.68rem}.HomeLatestHeading{position:relative;display:grid;grid-template-columns:auto 1fr auto;align-items:end;grid-gap:1rem;gap:1rem;padding-bottom:1rem;border-bottom:1px solid rgba(24,59,56,.24);scroll-margin-top:5rem}.HomeLatestHeading__number{align-self:stretch;padding-right:1rem;border-right:1px solid var(--home-copper);color:var(--home-copper);font-family:Georgia,serif;font-size:.82rem}.HomeLatestHeading h2{color:var(--home-ink);font-family:inherit;font-size:1.8rem;font-weight:750!important;letter-spacing:-.04em}.HomeLatestHeading>p{margin:0;color:var(--home-muted);font-size:.68rem;line-height:1.65;text-align:right}.HomeSectionEyebrow{margin:0 0 .18rem!important;font-family:ui-monospace,monospace;font-size:.55rem}.HomePage .ContentsGrid{position:relative}.HomePage .Content{position:relative;border-color:rgba(24,59,56,.13);border-radius:var(--home-card-radius);background:var(--home-paper);box-shadow:0 .35rem 1.2rem rgba(20,73,67,.05);transition:transform .2s ease,box-shadow .2s ease}.HomePage .Content:hover{transform:translateY(-3px);box-shadow:0 .8rem 2rem rgba(20,73,67,.11)}.HomePage .Content__folio{position:absolute;top:.65rem;right:.65rem;z-index:2;padding:.22rem .4rem;border-radius:.35rem;color:#fff;background:#235f59;font-family:ui-monospace,monospace;font-size:.48rem;letter-spacing:.1em}.HomePage .ContentThumbnail{border-color:rgba(24,59,56,.12)}.HomePage .Content__heading h3{font-family:inherit;font-weight:750!important}.HomePage .Content__byline{border-color:var(--home-rule)}.HomePage .HomeNote--index:nth-child(2n){background:#f8faf7}@media screen and (max-width:1200px){.HomeHero{grid-template-columns:1fr}.HomeHero__formula{display:none}}@media screen and (max-width:992px){.HomePage{display:block!important}.HomeHero__content{padding:2.8rem 2rem 3.2rem}}@media screen and (max-width:768px){.HomeHero{margin-inline:.75rem!important;padding-top:2.2rem}.HomeHero:before{left:1.35rem}.HomeHero__masthead{padding-left:2rem}.HomeHero__content{padding:2.2rem 1.5rem 3rem 2rem}.HomeHero__title{font-size:1.75rem;line-height:1.5}.HomeHero__lead{font-size:.82rem;line-height:1.85}.HomeExplore{grid-template-columns:1fr;margin-inline:.75rem!important}.HomeExplore>a+a{border-top:1px solid rgba(24,59,56,.12);border-left:0}.HomeTheme{grid-template-columns:5.5rem 1fr;margin-inline:.75rem!important}.HomeTheme__month{padding:1rem .65rem}.HomeTheme__month>span{font-size:3rem}.HomeTheme__content{padding:1.45rem 1.25rem 1.8rem}.HomeTheme__actions{grid-column:1/-1;display:grid;grid-template-columns:1fr 1fr;padding:.9rem 1rem 1.25rem;border-top:1px dashed rgba(20,47,45,.35);border-left:0}.HomeLatestHeading{grid-template-columns:auto 1fr;margin-inline:.75rem!important}.HomeLatestHeading>p{grid-column:2;text-align:left}.ContentsGrid{margin-inline:0!important}}@media(prefers-reduced-motion:reduce){.HomeExplore__arrow,.HomePage .Content{transition:none}}