.formula-hero{padding-block:var(--space-10) var(--space-12);max-width:1200px}.back-link{display:inline-block;font-size:var(--text-sm);color:var(--muted);min-height:44px;margin-bottom:var(--space-4)}.formula-hero h1{max-width:740px}.formula-hero>p{max-width:670px}.formula-hero-notes{display:flex;gap:var(--space-6);margin-top:var(--space-6);font-size:var(--text-xs);color:var(--muted)}.formula-hero-notes>span+span:before{content:"·";margin-right:var(--space-6)}.reference-note{margin-bottom:var(--space-10);display:flex;gap:var(--space-10);align-items:center}.reference-note>div:first-child{background:var(--pale);padding:var(--space-6);border-radius:8px;flex:1}.reference-note h2{font-family:var(--font-body);font-size:var(--text-lg);letter-spacing:-.02em;line-height:1.4}.reference-note p{font-size:var(--text-sm);margin-top:var(--space-3)}.reference-note a{display:inline-block;margin-top:var(--space-3);font-size:var(--text-xs);text-decoration:underline;text-underline-offset:3px}.reference-key{display:none}.formula-badge{font-size:var(--text-xs);font-weight:500;color:var(--muted);background:var(--pale);padding:var(--space-1) var(--space-2);border-radius:4px;white-space:nowrap}.formula-badge.provided{color:var(--green);background:var(--success-bg)}.formula-workspace{display:grid;grid-template-columns:220px minmax(0,1fr);gap:var(--space-10);align-items:start}.formula-sidebar{position:sticky;top:24px}.formula-sidebar h2{font-family:var(--font-body);font-size:var(--text-sm);letter-spacing:0;padding-bottom:var(--space-4);border-bottom:1px solid var(--line);margin-bottom:var(--space-3)}#category-nav{display:grid;gap:var(--space-2)}#category-nav button{display:flex;align-items:center;justify-content:space-between;gap:var(--space-3);min-height:48px;padding:var(--space-3);border-radius:5px;text-align:left;font-size:var(--text-sm)}#category-nav button>span:last-child{font-size:var(--text-xs);color:var(--muted)}#category-nav button.active{background:var(--ink);color:var(--bg)}#category-nav button.active>span:last-child{color:var(--bg)}#category-nav button:not(.active):hover{background:var(--pale)}.formula-controls{display:grid;grid-template-columns:minmax(0,1fr) 210px;gap:var(--space-4);padding-bottom:var(--space-6)}.formula-controls label{display:block;font-size:var(--text-xs);font-weight:600;margin-bottom:var(--space-2)}.formula-controls input,.formula-controls select{width:100%;min-height:48px;border:1px solid var(--line);border-radius:5px;padding:var(--space-3);font:var(--text-sm) var(--font-body);background:var(--surface);color:var(--ink)}.formula-results-heading{display:flex;justify-content:space-between;align-items:center;gap:var(--space-4);padding-block:var(--space-3) var(--space-5)}.formula-results-heading h2{font-family:var(--font-body);font-size:var(--text-lg);letter-spacing:-.02em}.formula-results-heading>span{font-size:var(--text-xs);color:var(--muted);white-space:nowrap}#formula-list{display:grid;gap:var(--space-4)}.formula-card{background:var(--surface);border:1px solid var(--line);border-radius:8px;scroll-margin-top:24px}.formula-card summary{padding:var(--space-6);list-style:none;cursor:pointer}.formula-card summary::-webkit-details-marker{display:none}.formula-card-heading{display:flex;align-items:center;justify-content:space-between;gap:var(--space-3);font-size:var(--text-base);font-weight:600}.formula-expression{display:block;font-size:var(--text-lg);font-family:var(--font-body);font-weight:500;letter-spacing:.015em;line-height:1.7;margin-block:var(--space-5);overflow-wrap:anywhere;color:var(--ink)}.formula-when{display:block;font-size:var(--text-sm);color:var(--muted)}.formula-expand{display:flex;justify-content:space-between;align-items:center;font-size:var(--text-xs);font-weight:600;margin-top:var(--space-4);color:var(--accent)}.expand-symbol{font-size:var(--text-lg);font-weight:400}.open-label{display:none}.formula-card[open] .closed-label{display:none}.formula-card[open] .open-label{display:inline}.formula-card[open] .expand-symbol{transform:rotate(45deg)}.formula-card[open] summary{border-bottom:1px solid var(--line)}.formula-detail{padding:var(--space-6);display:grid;gap:var(--space-5)}.formula-detail h3{font-size:var(--text-sm);font-weight:600}.formula-detail p{font-size:var(--text-sm);margin-top:var(--space-2)}.formula-example{background:var(--pale);border-radius:5px;padding:var(--space-4)}.formula-example p{color:var(--ink)}#empty-formulas{padding:var(--space-8);border:1px dashed var(--line);border-radius:8px}#empty-formulas[hidden]{display:none}#empty-formulas p{margin-block:var(--space-4);font-size:var(--text-sm)}.formula-bottom{padding-block:var(--space-16) var(--space-10)}.formula-bottom p{margin-block:var(--space-4) var(--space-6);max-width:650px;font-size:var(--text-sm)}.formula-sources{padding-bottom:var(--space-8)}.formula-sources h2{font-family:var(--font-body);font-size:var(--text-sm);letter-spacing:0}.formula-sources p{font-size:var(--text-xs);margin-top:var(--space-3);max-width:820px}.formula-sources a{text-decoration:underline;text-underline-offset:3px}
@media(max-width:800px){.formula-workspace{grid-template-columns:1fr;gap:var(--space-6)}.formula-sidebar{position:static}.formula-sidebar>.fine-print{display:none}#category-nav{display:flex;flex-wrap:wrap;gap:var(--space-2)}#category-nav button{font-size:var(--text-xs);min-height:44px;border:1px solid var(--line)}.formula-hero-notes{flex-wrap:wrap;gap:var(--space-3)}.formula-hero-notes>span+span:before{margin-right:var(--space-3)}.formula-card summary,.formula-detail{padding:var(--space-5)}}
@media(max-width:500px){.formula-hero{padding-top:var(--space-6);padding-bottom:var(--space-8)}.formula-hero h1{font-size:var(--text-xl)}.formula-hero>p{font-size:var(--text-sm)}.reference-note{margin-bottom:var(--space-6)}.reference-note>div:first-child{padding:var(--space-5)}.formula-controls{grid-template-columns:1fr;gap:var(--space-3)}.formula-card-heading{flex-direction:column;align-items:flex-start}.formula-expression{font-size:var(--text-base);margin-block:var(--space-4)}.formula-results-heading h2{font-size:var(--text-base)}.formula-hero-notes{display:grid;gap:var(--space-2)}.formula-hero-notes>span+span:before{display:none}.formula-bottom{padding-top:var(--space-10)}}
.formula-figure{margin:0;background:#f7f9f4;border:1px solid var(--line);border-radius:6px;overflow:hidden}.formula-figure img{display:block;width:100%;height:auto}.formula-figure figcaption{padding:0 18px 18px;font-size:12px;line-height:1.6;color:#40564c}.grammar-controls{grid-template-columns:1fr}#rule-list{display:grid;gap:16px}.rule-statement{display:block;font-size:16px;line-height:1.8;margin-top:20px;color:var(--ink)}#empty-rules{padding:28px;border:1px dashed var(--line);border-radius:6px}#empty-rules[hidden]{display:none}#empty-rules p{margin-block:16px}