.proof-art{position:relative;z-index:1;justify-self:end;width:min(100%,440px);margin:0;background:#23372f;border:1px solid rgba(215,225,196,.18);box-shadow:12px 12px 0 rgba(14,26,22,.25)}.proof-art svg{display:block;width:100%;height:auto}.proof-art figcaption{padding:12px 16px;color:#d8dec9;text-align:right;font:12px var(--mono);letter-spacing:.05em}.hero{grid-template-columns:minmax(0,1.15fr) minmax(280px,.85fr);gap:7vw}.hero-copy{max-width:740px}.hero-meta b{font:inherit;color:var(--lime)}.theorem-grid{grid-template-columns:repeat(4,minmax(0,1fr))}.theorem-card{min-height:220px}.theorem-card strong{font:500 19px/1.45 var(--serif);min-height:0}.theorem-en{font:13px Georgia,serif;color:#77766d;margin-top:4px}.theorem-card .card-desc{font-size:13px;line-height:1.7;margin-top:10px}.theorem-area{font:11px var(--mono);color:#8c694f;margin-top:auto;padding-top:12px}.theorem-card .card-arrow{bottom:14px}.proof-band{padding:60px 9vw;background:#e9dfce}.proof-band-inner{max-width:1100px;margin:auto}.proof-band h2{font:500 clamp(27px,3.4vw,40px)/1.35 var(--serif);margin:0 0 24px}.proof-band p:not(.eyebrow){max-width:850px;color:#606158;font-size:13.5px;line-height:1.9}.journey{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:20px 22px;background:#f7f2e8;border:1px solid var(--line);color:#48584a;font-size:13.5px}.journey i{color:#a7563a;font-style:normal}.theorem-statement{padding:18px 21px;background:#f0e7d9;border-left:3px solid #a7563a;margin:18px 0 25px}.theorem-detail h3,.theorem-statement h3{font:600 13px var(--mono);color:#68735e;letter-spacing:.06em;margin:0 0 8px}.theorem-statement p{font:16.5px/1.8 var(--serif);margin:0;color:#343830}.theorem-detail{grid-template-columns:1fr 1fr}.theorem-detail p{font-size:13.5px;line-height:1.9;color:#55574f;margin:0 0 23px}.theorem-detail .timeline{margin-top:10px}.theorem-detail .timeline-item{display:grid;grid-template-columns:112px 1fr;gap:12px}.theorem-detail .timeline-item b{font:12px var(--mono);color:#a7563a}.theorem-detail .paper-links a{display:block;margin:9px 0;color:#49654f;font-size:13px;line-height:1.6;text-decoration:none}.theorem-detail .paper-links a:hover{text-decoration:underline}.modal-kicker{margin-bottom:10px}.status.resolved{background:#e2ead5;color:#536b38}@media(max-width:900px){.hero{grid-template-columns:1fr 290px;gap:4vw}.theorem-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.journey{flex-wrap:wrap;justify-content:flex-start}.journey i{padding:0 4px}}@media(max-width:650px){.topbar{gap:12px}.hero{display:block;padding:50px 25px 40px}.hero-copy{max-width:none}.hero h1{font-size:42px}.proof-art{width:min(74%,320px);margin:34px auto 0}.theorem-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.theorem-card{min-height:210px}.theorem-detail{grid-template-columns:1fr;gap:0}.theorem-detail .timeline-item{grid-template-columns:94px 1fr}.proof-band{padding:45px 22px}.journey{font-size:12px}.hero-meta{flex-wrap:wrap}}@media(max-width:430px){.theorem-grid{grid-template-columns:1fr}.theorem-card{min-height:175px}.theorem-card strong{font-size:18px}.theorem-detail .timeline-item{grid-template-columns:85px 1fr}.proof-art{width:88%}}.theorem-grid{align-items:stretch}.theorem-card{min-height:255px}.theorem-levels{display:flex;flex-wrap:wrap;gap:6px;margin-top:13px}.theorem-levels span{padding:3px 7px;border:1px solid #d8d7c6;background:#eef0e3;color:#657254;font-size:11px;line-height:1.5}.theorem-card .theorem-area{padding-top:13px}.theorem-prerequisites{font-size:12.5px;color:#69715d;line-height:1.9;margin:13px 0 20px}.theorem-prerequisites b{font-weight:500;color:#a7563a;margin-right:8px}.theorem-example{border:1px solid #d9ddc8;background:#eef0e3;padding:16px 20px;margin:0 0 25px}.theorem-example h3{font-size:12px;color:#68735e;margin:0 0 7px}.theorem-example p{font-size:13.5px;line-height:1.9;color:#535e4b;margin:0}.difficulty-toolbar{display:flex;align-items:center;justify-content:space-between;gap:20px;margin:0 0 25px}.difficulty-toolbar label{font-size:12px;color:#68735e;display:flex;align-items:center;gap:12px;flex-shrink:0}.difficulty-toolbar select{font:12px var(--sans);padding:7px 28px 7px 10px;background:#faf6ed;border:1px solid #c8c7b7;color:#455b43;min-width:130px}.difficulty-toolbar p{font-size:11px;color:#858579;margin:0}.theorem-related a{display:block;color:#516c4f;font-size:12px;margin:8px 0;text-decoration:none}.theorem-related a:hover{text-decoration:underline}.theorem-card .theorem-en{line-height:1.5}.theorem-card .card-desc{display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}@media(max-width:1050px){.toolbar{flex-wrap:wrap}.toolbar .filters{flex:1 1 100%}.toolbar .search{width:100%}.difficulty-toolbar{align-items:flex-start;flex-direction:column;gap:9px}}@media(max-width:650px){.theorem-card{min-height:245px}.theorem-levels{gap:4px}.theorem-levels span{font-size:11px;padding:3px 5px}.difficulty-toolbar label{flex-wrap:wrap}.theorem-example{padding:15px}.theorem-prerequisites{font-size:12px}}