.algebra-page{height:auto;min-height:100dvh;overflow:auto;background:var(--canvas);font-size:14px}
.algebra-page .app-header{position:sticky;top:0;gap:28px}
.algebra-nav{display:flex;gap:4px;align-items:center}
.algebra-nav a{padding:9px 13px;border-radius:7px;text-decoration:none;font-size:12px;color:var(--muted);white-space:nowrap}
.algebra-nav a:hover,.algebra-nav a[aria-current=page]{color:var(--green);background:var(--green-soft)}
.algebra-nav a[aria-current=page]{font-weight:650}
.algebra-main{width:min(1280px,100%);margin:0 auto;padding:44px 36px 56px;flex:1}
.algebra-intro{display:flex;justify-content:space-between;align-items:flex-end;gap:20px;margin-bottom:30px}
.algebra-intro h1{font-size:38px;font-weight:570;line-height:1.25;letter-spacing:-1.5px;margin:8px 0 10px}
.algebra-intro h1>span{color:var(--green)}
.algebra-intro p{color:var(--muted);font-size:14px}
.snapshot-badge{display:flex;align-items:center;gap:8px;font-size:11px;color:var(--green);background:#edf4ed;border:1px solid #dce8dc;border-radius:30px;padding:8px 13px;white-space:nowrap;margin-bottom:3px}
.algebra-layout{display:grid;grid-template-columns:minmax(0,1fr) 302px;gap:26px;align-items:start}
.algebra-primary,.algebra-sidebar{display:flex;flex-direction:column;gap:22px;min-width:0}
.algebra-card{background:#fff;border:1px solid var(--line);border-radius:13px;padding:23px;box-shadow:0 2px 8px #243c3803;min-width:0}
.card-heading{display:flex;align-items:center;justify-content:space-between;gap:14px;margin-bottom:16px}
.card-heading h2,.card-heading>label,.algebra-sidebar h2{font-size:14px;font-weight:650;letter-spacing:-.1px}
.card-heading select{font-size:11px;max-width:65%;background:#f7faf6}
.algebra-page textarea,.algebra-page input{font:inherit;min-width:0;color:var(--ink)}
.algebra-page textarea:focus-visible{outline:3px solid #629d883f;outline-offset:2px;border-color:var(--green)}
#expression{display:block;width:100%;min-height:108px;resize:vertical;padding:17px 18px;border:1px solid #d7e2d9;border-radius:8px;background:#f8faf7;font:16px/1.8 "Cascadia Code",Consolas,monospace;overflow-wrap:anywhere}
.operator-bar{display:flex;align-items:center;gap:3px;padding:9px 1px 0}
.operator-bar button{min-width:36px;min-height:32px;border-radius:5px;font-size:19px;color:#557b69}
.operator-bar .clear-expression{margin-left:auto;font:11px Inter,"Segoe UI",sans-serif;padding:4px 9px;color:var(--muted)}
.expression-help{font-size:11px;color:var(--muted);margin-top:8px}
.demo-description{font-size:12px;color:#547061;margin-top:10px;padding-left:10px;border-left:2px solid #c8dfcb;line-height:1.65}
.demo-description:empty{display:none}
.algebra-options{display:grid;grid-template-columns:155px minmax(0,1fr);gap:16px;margin-top:22px}
.algebra-options label{display:flex;flex-wrap:wrap;gap:4px;font-size:11px;font-weight:550;color:#536960}
.algebra-options label span{font-weight:400;color:var(--muted)}
.algebra-options select,.algebra-options input{width:100%;margin-top:3px;height:38px;font-size:12px;background:white;border:1px solid var(--line);border-radius:6px;padding:8px 10px}
.evaluate-row{display:flex;align-items:center;gap:14px;margin-top:22px}
.primary-button{background:var(--green);color:#fff;font-size:12px;font-weight:600;padding:11px 20px;border-radius:7px;min-height:40px;white-space:nowrap}
.primary-button>span{font-size:9px;margin-right:8px}
.primary-button:hover:not(:disabled){background:#0f5749}
.shortcut-hint{font-size:10px;color:#87978e}
.evaluate-row .text-button{margin-left:auto}
.algebra-status{font-size:12px;color:var(--muted)}
.results-card[aria-busy=true] .algebra-status::before{content:"";display:inline-block;vertical-align:middle;margin-right:8px;width:10px;height:10px;border:2px solid #dbe9df;border-top-color:var(--green);border-radius:50%;animation:algebra-spin 1s linear infinite}
@keyframes algebra-spin{to{transform:rotate(360deg)}}
.result-summary{display:flex;align-items:center;gap:10px;margin:8px 0 4px;flex-wrap:wrap}
.result-summary strong{font-size:27px;font-weight:570;letter-spacing:-.7px;color:var(--green)}
.result-summary span{font-size:12px;color:var(--muted)}
.resolved-expression{font:11px/1.7 "Cascadia Code",Consolas,monospace;color:#788a7e;overflow-wrap:anywhere;margin:8px 0 18px}
.result-member{display:flex;align-items:center;gap:10px;padding:14px 0;border-top:1px solid #edf0eb}
.member-body{min-width:0;flex:1}
.member-body a{font-size:13px;font-weight:550;text-decoration:none;display:block;overflow-wrap:anywhere}
.member-body a:hover{text-decoration:underline;color:var(--green)}
.member-body>span{display:block;font-size:10px;color:var(--muted);margin-top:3px}
.member-symbol{width:32px;height:32px;flex:none;display:grid;place-items:center;background:var(--green-soft);border-radius:8px;color:#59785e;font-size:18px}
.explain-button{font-size:11px;color:var(--green);border:1px solid #e0e9de;padding:6px 10px;border-radius:6px;flex:none}
.algebra-pagination{display:flex;align-items:center;justify-content:space-between;gap:10px;padding-top:17px;border-top:1px solid var(--line);font-size:11px;color:var(--muted)}
.outline-button{border:1px solid var(--line);border-radius:6px;padding:7px 11px;font-size:11px}
.structured-result{font-size:11px;color:var(--muted);border-top:1px solid var(--line);padding-top:15px;margin-top:12px}
.structured-result summary{cursor:pointer;width:fit-content;color:#557c68}
.structured-result p{margin:10px 0;line-height:1.7}
.structured-result pre{white-space:pre-wrap;overflow-wrap:anywhere;max-height:360px;overflow:auto;padding:12px;background:#f6f8f4;border-radius:6px;font:10px/1.65 Consolas,monospace;color:#496357}
.lookup-card h2,.learning-card h2{margin:10px 0 7px}
.algebra-sidebar p{font-size:12px;line-height:1.75;color:var(--muted)}
#algebra-search{width:100%;border:1px solid var(--line);border-radius:7px;background:#fafbf8;padding:10px;margin:16px 0 4px;font-size:12px}
.lookup-status{min-height:18px;margin:3px 0!important;font-size:10px!important}
.lookup-results{max-height:270px;overflow:auto}
.lookup-result{display:flex;align-items:center;gap:10px;text-align:left;width:100%;padding:9px 4px;border-bottom:1px solid #edf0eb;border-radius:4px}
.lookup-result>span:first-child{flex:1;min-width:0}
.lookup-result strong{display:block;font-weight:500;font-size:12px;overflow-wrap:anywhere}
.lookup-result small{display:block;color:var(--muted);font-size:10px;margin-top:2px}
.lookup-result>span:last-child{font-size:17px;color:var(--green)}
.guide-card dl{margin:15px 0 20px}
.guide-card dt{font-size:11px;margin-top:13px;color:var(--green);overflow-wrap:anywhere}
.guide-card dd{font-size:11px;color:var(--muted);margin:4px 0 0;line-height:1.7}
.algebra-sidebar a{font-size:11px;color:var(--green);text-decoration:none}
.algebra-sidebar a:hover{text-decoration:underline}
.algebra-note{display:flex;gap:12px;padding:0 8px}
.note-symbol{font-size:25px;color:#7e9273;line-height:1.3}
.algebra-note h2{font-size:12px;font-weight:600;margin-bottom:7px}
.algebra-note p{font-size:11px;margin-top:7px}
.learning-card{background:#f0f5ec;border-color:#dde8d6;box-shadow:none}
.learning-card p{margin-bottom:14px}
.learning-card .eyebrow{font-size:9px;color:#768a6c}
.algebra-error{background:#fff8f4;border:1px solid #edd9cc;border-radius:10px;padding:18px 22px}
.algebra-error h2{font-size:13px;margin-bottom:6px;color:#8e594a}
.algebra-error p{font-size:12px;line-height:1.7;color:#7a635c;white-space:pre-wrap;overflow-wrap:anywhere}
.candidate-list{display:flex;flex-wrap:wrap;gap:7px;margin-top:10px}
.candidate-list:empty{margin:0}
.candidate-list button{border:1px solid #dec9b9;border-radius:6px;padding:8px 10px;font-size:11px;background:white;text-align:left}
.evidence-tree{list-style:none;margin:0;padding:0}
.evidence-node{border-left:2px solid #d9e5d9;margin:12px 0 0;padding:0 0 2px 12px;min-width:0}
.evidence-node code{font:11px/1.8 Consolas,monospace;overflow-wrap:anywhere}
.evidence-state{display:inline-block;font-size:9px;text-transform:uppercase;letter-spacing:.7px;margin-left:9px;padding:3px 6px;border-radius:4px;background:#edf5ec;color:#4c7556}
.evidence-state.negative{background:#f9eee8;color:#9a6754}
.evidence-state.unknown{background:#f0f1ee;color:#7a8279}
.evidence-state.conflict{background:#fff2d7;color:#946d2b}
.evidence-line,.evidence-meaning{font-size:11px;color:var(--muted);line-height:1.75;margin-top:7px;overflow-wrap:anywhere}
.evidence-line a{color:var(--green);text-decoration:none}
.evidence-line a:hover{text-decoration:underline}
.evidence-owner{border:1px solid #e4ebe1;padding:9px 11px;border-radius:6px;margin-top:8px;background:#fafcf8}
.explanation-intro{font-size:12px;color:var(--muted);margin-bottom:15px}
.algebra-footer{width:min(1280px,100%);margin:auto auto 0;border-top:1px solid var(--line);padding:20px 36px;display:flex;justify-content:space-between;gap:15px;font-size:10px;color:var(--muted)}
.algebra-footer a{text-decoration:none}
.algebra-page .toast{z-index:20}
.algebra-diagnostics{border-top:1px solid var(--line);padding-top:17px;margin-bottom:18px}
.algebra-diagnostics h3{font-size:12px;font-weight:650;margin-bottom:7px}
.diagnostic-rule,.diagnostic-note{font-size:11px;line-height:1.75;color:var(--muted)}
.diagnostic-note{margin-top:12px;padding-left:10px;border-left:2px solid #c9dcca}
.diagnostic-operands{margin:14px 0}
.diagnostic-operand{display:flex;gap:10px;align-items:baseline;margin:7px 0;font-size:11px;min-width:0}
.diagnostic-operand>span{background:var(--green-soft);border-radius:4px;padding:2px 6px;font-size:10px;color:var(--green)}
.diagnostic-operand code{overflow-wrap:anywhere;min-width:0;flex:1;color:#547060;font-size:11px}
.diagnostic-operand>strong{flex:none;font-size:10px;font-weight:550;color:var(--muted)}
.diagnostic-regions{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:9px}
.diagnostic-region{background:#f7faf6;border:1px solid #e0e8dc;border-radius:8px;padding:13px;min-width:0}
.diagnostic-region.counterexamples{background:#fff9f1;border-color:#ead9bd}
.diagnostic-region-heading{display:flex;align-items:center;gap:12px;justify-content:space-between;font-size:10px;color:#607661}
.diagnostic-region-heading strong{font-size:22px;font-weight:550;color:var(--green)}
.counterexamples .diagnostic-region-heading strong{color:#947048}
.counterexample-label{font-size:9px;text-transform:uppercase;letter-spacing:.7px;color:#97734c;margin:3px 0 7px}
.diagnostic-samples{display:flex;gap:5px;flex-wrap:wrap;margin-top:5px;align-items:flex-start}
.diagnostic-sample{font-size:10px;line-height:1.65;text-align:left;padding:5px 7px;border:1px solid #dbe6d8;border-radius:5px;background:white;color:#476c57;overflow-wrap:anywhere;max-width:100%}
.sample-note{font-size:9px;color:#85917e;margin-top:7px;line-height:1.6}
.inspect-form{border-top:1px solid var(--line);padding-top:15px;margin-top:12px}
.inspect-form label{font-size:11px;font-weight:550;display:block;margin-bottom:7px}
.inspect-form label span{font-weight:400;color:var(--muted);margin-left:6px;font-size:10px}
.inspect-form>div{display:flex;gap:8px;align-items:center}
.inspect-form input{width:135px;border:1px solid var(--line);border-radius:5px;padding:7px 9px;font-size:11px;background:#fafcf8}
#inspect-status{font-size:11px;color:#91634a;margin-top:6px}
#inspect-status:empty{display:none}
.collection-card .card-heading{margin-bottom:12px}
#collection-count{font-size:10px;color:#5b795f;border-radius:5px;background:#edf4e8;padding:3px 7px;margin-left:5px}
.collection-intro,.collection-storage,.collection-empty{color:var(--muted);font-size:11px;line-height:1.7}
.collection-card>label{display:block;font-size:11px;font-weight:550;margin:17px 0 7px}
.collection-card>label span{font-weight:400;color:var(--muted)}
#example-question{display:block;width:100%;padding:11px 12px;border:1px solid var(--line);border-radius:7px;resize:vertical;background:#fafcf8;font-size:12px;line-height:1.7;min-height:70px}
.collection-actions{display:flex;align-items:center;gap:12px;margin:12px 0}
#collection-status{font-size:11px;line-height:1.7;color:#59745f}
.collection-actions button{flex:none}
.collection-storage{font-size:10px}
.collection-items{margin-top:17px;max-height:370px;overflow:auto}
.collection-item{display:flex;align-items:center;gap:16px;padding:13px 0;border-top:1px solid var(--line)}
.collection-item-body{flex:1;min-width:0}
.collection-replay{display:block;text-align:left;padding:0;max-width:100%;overflow-wrap:anywhere;color:var(--green);font-size:12px;line-height:1.7}
.collection-item-body p{font-size:10px;color:var(--muted);margin-top:4px}
.collection-remove{font-size:10px;flex:none;color:#8b7770;padding:7px;border-radius:5px}
@media(max-width:1100px){.algebra-main{padding:30px 24px 40px}.algebra-layout{grid-template-columns:minmax(0,1fr) 268px;gap:20px}.algebra-card{padding:19px}.algebra-page .app-header{gap:18px}.algebra-intro h1{font-size:34px}.shortcut-hint{display:none}.algebra-nav a{padding:8px 10px}}
@media(max-width:820px){.algebra-layout{grid-template-columns:1fr}.algebra-sidebar{display:grid;grid-template-columns:1fr 1fr;gap:18px}.algebra-intro{align-items:flex-start;flex-direction:column;gap:16px}.snapshot-badge{padding:6px 11px}.algebra-nav{gap:0}.algebra-nav a{font-size:11px;padding:7px 9px}.algebra-page .app-header{gap:12px;padding:0 18px}.algebra-page .header-actions{gap:8px}.algebra-page .github-link{display:none}.algebra-page .brand{font-size:23px}.algebra-page .brand-mark{width:29px;height:29px}}
@media(max-width:540px){.algebra-page .app-header{height:auto;min-height:66px;flex-wrap:wrap;padding:14px 16px 8px;gap:10px 12px}.algebra-nav{order:3;width:100%;justify-content:space-between;border-top:1px solid #edf0eb;padding-top:7px}.algebra-nav a{padding:6px 14px}.algebra-main{padding:25px 16px 32px}.algebra-intro{margin-bottom:22px}.algebra-intro h1{font-size:32px}.algebra-intro p{font-size:12px;max-width:280px;line-height:1.7}.algebra-card{padding:17px;border-radius:10px}.algebra-sidebar{grid-template-columns:1fr}.card-heading{gap:8px}.card-heading select{max-width:62%;font-size:10px}.card-heading>label,.card-heading h2{font-size:13px}#expression{padding:13px;min-height:110px}.algebra-options{grid-template-columns:1fr;gap:12px}.algebra-options input{font-size:16px}.algebra-options select{font-size:13px}.evaluate-row{gap:7px}.primary-button{padding:10px 16px}.evaluate-row .text-button{font-size:10px}.operator-bar button{min-width:31px}.operator-bar .clear-expression{padding-right:1px}.expression-help{font-size:10px}.demo-description{font-size:11px}.member-body a{font-size:12px}.member-symbol{display:none}.explain-button{font-size:10px;padding:7px 9px}.algebra-footer{padding:18px 16px;font-size:9px}.evidence-node{padding-left:9px}#algebra-search{font-size:16px}.algebra-note{padding:4px 8px}.result-summary strong{font-size:25px}}
@media(prefers-reduced-motion:reduce){.results-card[aria-busy=true] .algebra-status::before{animation:none}}
@media(max-width:540px){.diagnostic-regions{grid-template-columns:1fr}.diagnostic-region{padding:11px}.diagnostic-sample{font-size:11px}.inspect-form label span{display:block;margin:3px 0 0}.inspect-form input,#example-question{font-size:16px}.collection-card .card-heading{align-items:flex-start}.collection-card .card-heading .text-button{font-size:10px;white-space:nowrap}.collection-card .card-heading h2{line-height:1.6}.collection-actions{align-items:flex-start;flex-direction:column;gap:6px}.diagnostic-operand{flex-wrap:wrap}.diagnostic-operand code{flex-basis:70%}}