.symbolic-orientation{display:flex;align-items:center;gap:30px;padding:32px;background:linear-gradient(120deg,#edf8f5,#f0f5fc);border:1px solid #dceae7;border-radius:20px;margin-bottom:28px}.symbolic-orientation>div{flex:1}.symbolic-orientation span{font-size:12px;color:#347166}.symbolic-orientation h2{font-size:27px!important;line-height:1.25;margin:10px 0}.symbolic-orientation p{margin:0;line-height:1.7}.symbolic-orientation>a{white-space:nowrap}.symbolic-flow{margin:25px 0 40px}.symbolic-flow ol{display:grid;grid-template-columns:repeat(4,1fr);gap:28px;list-style:none;padding:0}.symbolic-flow li{position:relative;display:flex;flex-direction:column;gap:7px;background:#f5f8fa;border:1px solid #e2e9ed;padding:18px;border-radius:12px}.symbolic-flow li:not(:last-child)::after{content:'→';position:absolute;right:-24px;top:45%;color:#307a70}.symbolic-flow li>span{color:#39857a;font-size:12px}.symbolic-flow small{line-height:1.5;color:#596d72}.symbolic-flow figcaption{font-size:13px;line-height:1.7;color:#60747b}.symbolic-chapter{margin:48px 0;scroll-margin-top:160px}.symbolic-chapter>h2{font-size:26px;border-bottom:1px solid #dce6e8;padding-bottom:17px}.symbolic-subsection{scroll-margin-top:160px;margin:28px 0}.symbolic-subsection h3{font-size:19px;line-height:1.5}.symbolic-subsection p{font-size:16px;line-height:1.9;color:#3e555d;max-width:85ch}.symbolic-tool{scroll-margin-top:160px;border:1px solid #dce5e9;border-radius:20px;padding:28px;margin:0 0 32px;background:#fff;min-width:0}.symbolic-tool>header{display:flex;gap:14px;align-items:flex-start;margin-bottom:24px}.symbolic-tool>header h2{font-size:24px;margin:0 0 8px}.symbolic-tool p{line-height:1.7;color:#526970}.symbolic-dot{width:12px;height:12px;flex:none;background:#278278;border:4px solid #d3eee7;box-sizing:content-box;border-radius:50%;margin-top:5px}.symbolic-field{display:flex;flex-direction:column;gap:9px;font-size:13px;font-weight:600;margin:14px 0;min-width:0}.symbolic-field input,.symbolic-field textarea,.symbolic-field select,.symbolic-cell select{box-sizing:border-box;width:100%;border:1px solid #b9ccd2;border-radius:9px;padding:12px;background:#fbfdfe;color:#163c45;font:inherit}.symbolic-field textarea,.symbolic-field input{font-family:ui-monospace,monospace;font-size:14px}.symbolic-field textarea{resize:vertical;min-height:115px}.symbolic-field select{max-width:410px}.symbolic-input-grid{display:grid;grid-template-columns:1fr 1fr;gap:22px}.symbolic-presets{display:flex;flex-wrap:wrap;gap:8px}.symbolic-presets .learn-button{padding:8px 13px;font-size:12px}.symbolic-help{font-size:12px!important;color:#6e8187!important}.symbolic-error{color:#a33034!important;font-size:14px}.symbolic-error:empty{display:none}.symbolic-result{padding:18px 20px;border-radius:12px;border:1px solid #dae5e9;background:#f4f8fa;margin:16px 0}.symbolic-result strong{font-size:19px;color:#153f46}.symbolic-result p{margin:8px 0 0;font-size:14px;overflow-wrap:anywhere}.symbolic-result.good{background:#edf8f2;border-color:#c6e5d6}.symbolic-result.warn{background:#fff8ea;border-color:#efdfb9}.symbolic-result.bad{background:#fff0ee;border-color:#e8c5c2}.symbolic-table{max-height:410px;overflow:auto;border:1px solid #e0e8eb;border-radius:10px;margin:18px 0}.symbolic-table table{border-collapse:collapse;width:100%;font-size:13px}.symbolic-table th,.symbolic-table td{padding:11px 13px;text-align:left;border-bottom:1px solid #e3e9ec;min-width:55px}.symbolic-table th{background:#eff5f7;color:#34525b;position:sticky;top:0;white-space:nowrap}.symbolic-table tbody tr:nth-child(even){background:#f8fafb}.symbolic-check{display:flex;gap:9px;align-items:center;font-size:13px}.symbolic-quantifier-grid{display:grid;grid-template-columns:1fr 1fr;gap:28px;align-items:center}.symbolic-matrix{border-spacing:10px;width:100%;font-size:13px}.symbolic-matrix caption{padding:10px;text-align:left;color:#526970}.symbolic-matrix button{border:1px solid #d8e6e8;background:#f5f8fa;color:#637f86;border-radius:10px;width:100%;height:48px;font-size:23px;cursor:pointer}.symbolic-matrix button[aria-pressed=true]{background:#187569;color:#fff;border-color:#187569}.symbolic-warehouse-layout{display:grid;grid-template-columns:minmax(0,1.5fr) minmax(190px,1fr);gap:24px}.symbolic-warehouse{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px}.symbolic-cell{background:#f0f4f8;border:1px solid #dce5ed;border-radius:12px;padding:14px;display:flex;flex-direction:column;gap:10px;min-width:0}.symbolic-cell.safe{background:#e7f5ee;border-color:#a5d3bb}.symbolic-cell.hazard{background:#fff0e8;border-color:#e9b99b}.symbolic-cell.conflict{background:#ffeded;border-color:#e7b8b8}.symbolic-cell>span{font-size:12px}.symbolic-cell label{font-size:11px;line-height:1.7}.symbolic-cell select{padding:6px 4px;font-size:11px;margin-top:4px}.symbolic-key{display:grid;gap:10px;font-size:12px;margin:20px 0;color:#587077}.symbolic-proof-meta{display:flex;flex-wrap:wrap;gap:12px;font-size:12px}.symbolic-proof-meta span{padding:8px 13px;background:#eef4f7;border-radius:20px}.symbolic-details{border-top:1px solid #dce6ea;padding:16px 0;margin:12px 0}.symbolic-details summary{display:flex;justify-content:space-between;cursor:pointer;font-weight:600;font-size:14px;list-style:none}.symbolic-details summary::-webkit-details-marker{display:none}.symbolic-details summary span{transition:transform .15s}.symbolic-details[open] summary span{transform:rotate(180deg)}.symbolic-details li{padding:10px 0;line-height:1.6}.symbolic-details li code{display:block;padding:8px;overflow-wrap:anywhere;background:#f4f7f9;font-size:13px}.symbolic-details h3{font-size:16px;margin-top:22px}.symbolic-trace-controls{display:flex;flex-wrap:wrap;align-items:center;gap:9px;margin:22px 0}.symbolic-trace-controls button{font-size:12px;padding:10px 13px}.symbolic-trace-controls span{font-size:12px;margin-left:auto}.symbolic-proof-frame{border:1px solid #d9e6eb;background:linear-gradient(#f8fbfc,#edf5f7);border-radius:16px;padding:24px;text-align:center}.symbolic-proof-parents{display:flex;justify-content:center;gap:24px}.symbolic-proof-parents>div{flex:1;background:white;border:1px solid #cedfe5;border-radius:10px;padding:16px;min-width:0}.symbolic-proof-frame small{display:block;font-size:11px;color:#58727a;margin-bottom:9px}.symbolic-proof-frame strong{font-family:ui-monospace,monospace;font-size:19px;overflow-wrap:anywhere}.symbolic-proof-arrows{width:100%;height:74px;color:#288375;display:block}.symbolic-proof-frame p{font-size:12px;margin:9px 0 16px}.symbolic-proof-target{background:#fff;border:2px solid #77b8aa;border-radius:12px;padding:18px;max-width:75%;margin:20px auto}.symbolic-proof-target.is-empty{background:#dff3e7}.symbolic-proof-target.is-empty strong{font-size:36px}.symbolic-step-list{font-size:14px;line-height:1.8;padding-left:24px}.symbolic-step-list li{padding:8px;overflow-wrap:anywhere}.symbolic-code{max-width:100%;overflow:auto;padding:22px;background:#102d36;color:#d8edf0;border-radius:12px;font-size:13px;line-height:1.8;tab-size:4}.symbolic-tool button:focus-visible,.symbolic-tool input:focus-visible,.symbolic-tool select:focus-visible,.symbolic-tool textarea:focus-visible{outline:3px solid #319b8b;outline-offset:3px}.symbolic-tool button:disabled{opacity:.45;cursor:default}
@media(max-width:1000px){.symbolic-orientation{flex-direction:column;align-items:flex-start}.symbolic-warehouse-layout,.symbolic-quantifier-grid{grid-template-columns:1fr}.symbolic-flow ol{grid-template-columns:repeat(2,1fr)}.symbolic-flow li:nth-child(2)::after{content:none}}
@media(max-width:600px){.symbolic-tool{padding:18px 14px;border-radius:14px}.symbolic-input-grid{grid-template-columns:1fr;gap:0}.symbolic-orientation{padding:22px}.symbolic-flow ol{gap:22px}.symbolic-flow li{padding:12px;font-size:12px}.symbolic-cell{padding:9px 6px;gap:6px}.symbolic-warehouse{gap:6px}.symbolic-cell strong{font-size:12px}.symbolic-proof-frame{padding:16px 10px}.symbolic-proof-parents{gap:10px}.symbolic-proof-parents>div{padding:12px 7px}.symbolic-proof-frame strong{font-size:14px}.symbolic-trace-controls span{width:100%;margin:0}.symbolic-tool>header h2{font-size:21px}.symbolic-subsection p{font-size:15px}}
/* Inline experiments: one visual language for reading and reasoning. */
.sv-jump-nav{display:flex;flex-wrap:wrap;gap:10px;margin:0 0 25px}.sv-jump-nav a{padding:10px 14px;background:#eef5f9;border:1px solid #d7e5ee;border-radius:9px;font-size:12px;color:#245569;text-decoration:none}.symbolic-live{margin:30px 0 42px;padding:26px;border:1px solid #cbdfe8;border-radius:20px;background:linear-gradient(140deg,#f3f9fc,#fff 60%);scroll-margin-top:235px;min-width:0}.symbolic-live>header{margin-bottom:24px}.sv-label{display:inline-flex;align-items:center;gap:8px;color:#287085;font-size:12px;font-weight:600}.sv-label:before{content:'';width:7px;height:7px;border-radius:50%;background:#34a99a;box-shadow:0 0 0 4px #e0f3ef}.symbolic-live h3{font-size:23px!important;margin:12px 0;line-height:1.4}.symbolic-live p{font-size:14px;line-height:1.75;color:#506875}.symbolic-live button{border:1px solid #c8d9e3;border-radius:9px;background:white;color:#315264;padding:10px 14px;cursor:pointer;font:inherit;font-size:12px;transition:background .2s,border-color .2s}.symbolic-live button:hover{background:#e9f3f9;border-color:#78a9bc}.symbolic-live button:focus-visible{outline:3px solid #2d9085;outline-offset:3px}.symbolic-live button[aria-pressed=true]{background:#126d67;border-color:#126d67;color:#fff}.symbolic-live button:disabled{opacity:.4;cursor:default}.sv-controls,.sv-switches{display:flex;align-items:center;flex-wrap:wrap;gap:9px;margin:16px 0}.sv-controls output{font-size:12px;color:#5a7583;margin-left:auto}.sv-switches button{flex:1;font-size:13px;text-align:left;min-width:165px}.sv-switches button::after{content:attr(data-value);display:block;font-size:11px;margin-top:7px;opacity:.8}.sv-stage{background:radial-gradient(#dbe7ec .7px,transparent .7px);background-size:15px 15px;border:1px solid #e0e9ed;border-radius:14px;overflow:auto;margin:18px 0}.sv-stage svg{display:block;width:100%;height:auto;min-width:480px}.sv-edge{fill:none;stroke:#a3bac5;stroke-width:2}.sv-edge.active{stroke:#1c9687;stroke-width:3;stroke-dasharray:7 4;animation:sv-flow 1.7s linear infinite}.sv-node rect{fill:white;stroke:#bbd1dc;stroke-width:1.5}.sv-node text{fill:#24495a;font:600 16px system-ui,sans-serif}.sv-node .sv-node-sub{font-size:11px;font-weight:400;fill:#5f7a87}.sv-node.success rect{fill:#e2f4ec;stroke:#69b39b}.sv-node.failure rect{fill:#ffebe5;stroke:#dc927f}.sv-node.selected rect{fill:#e1f0fd;stroke:#639dcb;stroke-width:2.5}.sv-node.variable rect{fill:#fff4dd;stroke:#d1b46b}.sv-feedback{border-left:3px solid #2d9185;background:#ecf6f2;padding:17px 20px;font-size:14px;line-height:1.8;color:#284f54;border-radius:0 10px 10px 0;margin:16px 0;overflow-wrap:anywhere}.sv-feedback p{margin:8px 0 0}.sv-feedback>span{display:inline-block;padding:5px 10px;border-radius:7px;margin:0 8px 6px 0;font-family:ui-monospace,monospace}.sv-feedback .good{background:#cdebdc}.sv-feedback .bad{background:#ffe4d8}.sv-worlds{display:grid;grid-template-columns:repeat(8,1fr);gap:10px;margin:22px 0 10px}.sv-worlds button{border-radius:50%;aspect-ratio:1;padding:0;background:#e6f2ec;border-color:#b0d2c1;font-family:ui-monospace,monospace}.sv-worlds .invalid{background:#ffe6dd;border-color:#db9b85}.sv-worlds .selected{outline:3px solid #225f7d;outline-offset:3px}.sv-footnote{font-size:12px!important;color:#657e89!important}.sv-relation-buttons{display:grid;grid-template-columns:repeat(3,1fr);gap:14px}.sv-relation-buttons>div{display:flex;flex-wrap:wrap;gap:6px}.sv-relation-buttons strong{width:100%;font-size:13px;margin-bottom:5px}.sv-relation-buttons button{padding:8px 11px}.sv-sensor-layout{display:grid;grid-template-columns:1.2fr 1fr;gap:26px;align-items:start}.sv-map{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px}.sv-map button{position:relative;display:flex;flex-direction:column;align-items:center;gap:9px;min-height:154px;padding:14px 8px;background:#edf3f7}.sv-map .sv-map-number{position:absolute;left:10px;top:8px;font-size:11px}.sv-map .sv-map-icon{display:grid;place-items:center;border-radius:50%;width:42px;height:42px;background:#d7e3eb;color:#5b7687;font-size:23px;margin-top:15px}.sv-map .safe{background:#e8f6ec;border-color:#a4ccb4}.sv-map .safe .sv-map-icon{background:#c7e7d4;color:#1a6c4a}.sv-map .hazard,.sv-map .conflict{background:#ffe8df}.sv-map .neighbor{border:2px dashed #407f9e}.sv-map .selected[aria-pressed=true]{background:#deedf9;border:2px solid #397ba8;color:#24495a;box-shadow:0 0 0 3px #deedf9}.sv-map small{font-size:10px;line-height:1.4}.sv-vertical{display:grid}.symbolic-live meter{display:block;width:100%;height:18px;margin-top:10px}.sv-input{display:grid;gap:9px;font-size:13px;font-weight:600;margin:16px 0}.sv-input input{width:100%;box-sizing:border-box;padding:13px;border:1px solid #bdcfdc;border-radius:9px;font:14px ui-monospace,monospace;background:white;color:#24495a}.sv-pipeline{display:grid;grid-template-columns:repeat(4,1fr);gap:8px;margin:24px 0}.sv-pipeline button{line-height:1.5;text-align:left;min-height:68px}.sv-formula-stage{background:#102f41;color:white;border-radius:15px;padding:26px;min-height:205px;display:flex;flex-direction:column;justify-content:center}.sv-formula-stage small{color:#a6cbd6;font-size:12px}.sv-formula{font:24px ui-monospace,monospace;line-height:1.8;margin:15px 0;overflow-wrap:anywhere}.sv-formula-stage p{color:#b9d4de;margin-bottom:0}.sv-clause-chips{display:flex;flex-wrap:wrap;gap:9px;margin:18px 0}.sv-clause-chips span{font:13px ui-monospace,monospace;padding:10px 13px;background:#e5eef8;color:#29536d;border-radius:8px;overflow-wrap:anywhere}.sv-proof-scroll{overflow:auto}.sv-proof-scroll .sv-stage{min-width:700px}.sv-proof-scroll svg{min-width:700px}.sv-term-inputs,.sv-term-trees{display:grid;grid-template-columns:1fr 1fr;gap:18px;min-width:0}.sv-term-trees>div{min-width:0}.sv-term-trees svg{min-width:340px}.sv-term-history{font-size:13px;line-height:1.8;padding-left:24px;color:#78909b}.sv-term-history .current{color:#244b62;font-weight:600}.sv-error{color:#ac453b!important}.sv-error:empty{display:none}@keyframes sv-flow{to{stroke-dashoffset:-22}}@media(prefers-reduced-motion:reduce){.sv-edge.active{animation:none}.symbolic-live button{transition:none}}@media(max-width:900px){.sv-sensor-layout{grid-template-columns:1fr}.sv-pipeline{grid-template-columns:1fr 1fr}.sv-term-trees{grid-template-columns:1fr}}@media(max-width:600px){.symbolic-live{padding:18px 13px}.sv-switches{gap:6px}.sv-switches button{min-width:100px;padding:10px;font-size:11px}.sv-worlds{gap:7px}.sv-worlds button{font-size:10px}.sv-relation-buttons{grid-template-columns:1fr}.sv-relation-buttons>div{align-items:center}.sv-relation-buttons strong{width:50px;margin:0}.sv-term-inputs{grid-template-columns:1fr;gap:0}.sv-map{gap:6px}.sv-map button{min-height:145px}.sv-formula{font-size:18px}.sv-controls output{width:100%;margin:0}}