:root{--forest: #1e3a2e;--ink: #1a2430;--parchment: #f4efe3;--slate: #6b6f72;--gold: #c8a45e;--rule: rgba(30, 58, 46, .14);--maxw: 40rem;--prose: 42rem;--serif: "Source Serif 4", Georgia, "Times New Roman", serif;--math: "STIX Two Text", "Cambria Math", "Times New Roman", serif;--sans: "Inter", system-ui, -apple-system, sans-serif}*{box-sizing:border-box}html,body{min-height:100%}body{margin:0;background:var(--parchment);color:var(--ink);font-family:var(--sans);font-size:1rem;line-height:1.65;-webkit-font-smoothing:antialiased}a{color:inherit}.page{min-height:100vh;display:flex;flex-direction:column}.wrap{width:100%;max-width:var(--maxw);margin:0 auto;padding:clamp(1.25rem,4vw,2rem) clamp(1.5rem,4vw,2.5rem)}.wrap--prose{max-width:var(--prose)}.logo{display:flex;align-items:baseline;gap:.5rem;margin:0;color:var(--forest)}.logo--large{gap:.55rem}.logo-mark{font-family:var(--math);font-size:1.35rem;font-weight:400;line-height:1;transform:translateY(.05em)}.logo--large .logo-mark{font-size:clamp(2rem,6vw,2.75rem)}.logo-name{font-family:var(--serif);font-size:1.35rem;font-weight:500;letter-spacing:.01em;line-height:1}.logo--large .logo-name{font-size:clamp(2rem,6vw,2.75rem)}.brand-link{text-decoration:none;color:inherit}.site-header{display:flex;justify-content:space-between;align-items:baseline;gap:1.5rem;padding:clamp(1.25rem,4vw,2rem) clamp(1.5rem,4vw,2.5rem)}.header-link{flex-shrink:0;font-size:.875rem;color:var(--slate);text-decoration:none;border-bottom:1px solid var(--rule)}.header-link:hover{color:var(--forest);border-bottom-color:var(--forest)}.landing{flex:1;display:flex;align-items:center;padding-top:clamp(3rem,10vw,6rem);padding-bottom:clamp(3rem,10vw,6rem)}.landing-inner{width:100%}.landing-lockup{margin-bottom:clamp(2.5rem,6vw,3.5rem)}.link-list{list-style:none;padding:0;margin:0;border-top:1px solid var(--rule)}.link-list li{border-bottom:1px solid var(--rule)}.link-list a{display:block;padding:1.1rem 0;text-decoration:none;color:var(--ink)}.link-list a:hover{color:var(--forest)}.link-list strong{display:block;font-family:var(--serif);font-size:1.15rem;font-weight:500;color:var(--forest);margin-bottom:.15rem}.link-list span{font-size:.925rem;color:var(--slate)}#contact .link-list span{font-family:var(--math);font-size:1rem;color:var(--forest)}.page-header{padding-top:clamp(2rem,5vw,3rem);padding-bottom:1.5rem}.page-header h1{font-family:var(--serif);font-size:clamp(1.75rem,4vw,2.25rem);font-weight:500;line-height:1.2;margin:0;color:var(--forest);max-width:34rem}.page-header p{margin:.75rem 0 0;color:var(--slate);max-width:34rem}.page-header>.meta:last-child{margin-bottom:0}.page-body{padding-bottom:clamp(2.5rem,6vw,4rem)}.text-link{color:var(--forest);text-decoration:none;border-bottom:1px solid var(--rule)}.text-link:hover{border-bottom-color:var(--forest)}.prose h2{font-family:var(--serif);font-size:1.25rem;font-weight:500;color:var(--forest);margin:2rem 0 .75rem}.prose-divider{display:block;width:100%;height:auto;margin:2.5rem 0 0}.page-header+.prose-divider{margin-top:1rem}.prose-divider+h2{margin-top:1rem}.prose-divider--end{margin-bottom:0}.prose h2:first-child{margin-top:0}.prose h3{font-family:var(--serif);font-size:1.05rem;font-weight:500;color:var(--forest);margin:1.5rem 0 .5rem}.prose p,.prose li{margin:0 0 .85rem}.prose ul,.prose ol{margin:0 0 .85rem;padding-left:1.35rem}.prose li{margin-bottom:.35rem}.prose li:last-child{margin-bottom:0}.prose em{font-style:italic}.prose a{color:var(--forest);text-decoration:none;border-bottom:1px solid var(--rule)}.prose a:hover{border-bottom-color:var(--forest)}.prose ul ul{margin-top:.5rem}.prose .meta{font-size:.875rem;color:var(--slate);margin-bottom:2rem}.math{font-family:var(--math);font-size:1.02em;white-space:nowrap}.sequent-proof{margin:1.75rem 0;padding:1.35rem 1.25rem;border:1px solid var(--rule);background:#1e3a2e08}.sequent-gloss{margin:0 0 1.25rem;font-size:.92rem;line-height:1.55;color:var(--ink)}.sequent-gloss--footer{margin:1.1rem 0 0;font-size:.85rem;color:var(--slate)}.sequent-tree-scroll{overflow-x:auto;-webkit-overflow-scrolling:touch;margin:0 -.25rem;padding:0 .25rem}.sequent-tree{min-width:min(100%,28rem);margin:0 auto}.sequent-columns{display:grid;grid-template-columns:1fr 1fr;gap:1.75rem;align-items:end}.sequent-col{min-width:0}.sequent-formula{text-align:center;font-size:.95rem;line-height:1.4;padding:.1rem 0;color:var(--ink)}.sequent-formula--cut{margin-bottom:0}.sequent-formula--conclusion{font-size:1.15rem;color:var(--forest);margin-top:.35rem}.sequent-inference{display:flex;align-items:center;gap:.45rem;margin:.2rem 0}.sequent-line{flex:1;height:0;margin:0;border:none;border-top:1px solid var(--rule)}.sequent-inference--highlight .sequent-line{border-top-width:2px;border-top-color:#b54a4a}.sequent-inference--cut{margin-top:.15rem}.sequent-inference--cut .sequent-line{border-top-width:2px}.sequent-rule{flex-shrink:0;min-width:1.75rem;font-family:var(--math);font-size:.78rem;color:var(--slate);text-align:right}.sequent-inference--highlight .sequent-rule{color:#b54a4a;font-weight:500}.sequent-inference--ghost .sequent-line,.sequent-inference--ghost .sequent-rule,.sequent-spacer .sequent-formula{visibility:hidden}.sequent-cut{margin-top:0}@media(max-width:30rem){.sequent-columns{gap:1.1rem}.sequent-formula{font-size:.82rem}.sequent-rule{font-size:.72rem;min-width:1.5rem}.sequent-gloss{font-size:.85rem}}.prose-cta{margin:2rem 0 0;padding:0}.button-link{display:inline-block;padding:.75rem 1.35rem;font-family:var(--sans);font-size:.95rem;font-weight:500;letter-spacing:.01em;color:var(--parchment);background:var(--forest);text-decoration:none;border:1px solid var(--forest);border-radius:2px;box-shadow:0 1px 2px #1a243014}.button-link:hover{color:var(--forest);background:var(--parchment)}.prose a.button-link{color:var(--parchment);background:var(--forest);border:1px solid var(--forest)}.prose a.button-link:hover{color:var(--forest);background:var(--parchment);border:1px solid var(--forest)}.role-list{list-style:none;padding:0;margin:0;border-top:1px solid var(--rule)}.role-list li{border-bottom:1px solid var(--rule)}.role-list a{display:block;padding:1.15rem 0;text-decoration:none}.role-list a:hover strong{color:var(--gold)}.role-list strong{display:block;font-family:var(--serif);font-size:1.15rem;font-weight:500;color:var(--forest);margin-bottom:.2rem}.role-list span{display:block;font-size:.925rem;color:var(--slate)}.role-list .location{font-size:.8rem;margin-top:.25rem}.role-detail .location{font-size:.875rem;color:var(--slate);margin-bottom:1.5rem}.back-link{display:inline-block;margin-bottom:1.5rem;font-size:.875rem;color:var(--slate);text-decoration:none;border-bottom:1px solid transparent}.back-link:hover{color:var(--forest);border-bottom-color:var(--rule)}.site-footer{margin-top:auto;display:flex;justify-content:space-between;align-items:baseline;gap:1rem;padding:1rem clamp(1.5rem,4vw,2.5rem);border-top:1px solid var(--rule);font-size:.875rem;color:var(--slate)}.site-footer p{margin:0}.site-footer a{color:var(--forest);text-decoration:none;border-bottom:1px solid transparent}.site-footer a:hover{border-bottom-color:var(--rule)}@media(max-width:30rem){.site-footer{flex-direction:column;align-items:flex-start;gap:.35rem}}