:root{--paper: #F3F2ED;--ink: #171717;--rule: #C9C6BE;--seal: #8D2A21;--panel-tint: color-mix(in srgb, var(--ink) 5%, var(--paper) 95%);--rule-strong: color-mix(in srgb, var(--ink) 42%, var(--paper) 58%);--ok-bg: color-mix(in srgb, #2F5240 12%, var(--paper) 88%);--ok-text: #1F3A2B;--ok-border: color-mix(in srgb, #2F5240 35%, var(--paper) 65%);--bad-bg: color-mix(in srgb, var(--seal) 12%, var(--paper) 88%);--bad-text: var(--seal);--bad-border: color-mix(in srgb, var(--seal) 40%, var(--paper) 60%);--warn-bg: color-mix(in srgb, #8A6D2F 14%, var(--paper) 86%);--warn-text: #6B5322;--warn-border: color-mix(in srgb, #8A6D2F 38%, var(--paper) 62%);--bg-color: var(--paper);--bg-grid: transparent;--card-bg: var(--paper);--card-bg-hover: var(--panel-tint);--card-border: var(--rule);--card-border-focus: var(--seal);--card-shadow: none;--primary-navy: var(--ink);--secondary-navy: var(--ink);--accent-gold: var(--seal);--accent-blue: var(--seal);--accent-emerald: #2F5240;--accent-rose: var(--seal);--text-main: var(--ink);--text-muted: color-mix(in srgb, var(--ink) 72%, var(--paper) 28%);--text-dim: color-mix(in srgb, var(--ink) 55%, var(--paper) 45%);--font-heading: "Noto Serif KR", serif;--font-main: "Noto Serif KR", serif;--font-code: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace}@media (prefers-color-scheme: dark){:root{color-scheme:dark;--paper: #121212;--ink: #D7D3CB;--rule: #2E2E2E;--seal: #B84336;--panel-tint: color-mix(in srgb, var(--ink) 8%, var(--paper) 92%);--rule-strong: color-mix(in srgb, var(--ink) 50%, var(--paper) 50%);--ok-bg: color-mix(in srgb, #3B6B52 20%, var(--paper) 80%);--ok-text: #81B29A;--ok-border: color-mix(in srgb, #3B6B52 50%, var(--paper) 50%);--bad-bg: color-mix(in srgb, var(--seal) 20%, var(--paper) 80%);--bad-text: #E06C60;--bad-border: color-mix(in srgb, var(--seal) 50%, var(--paper) 50%);--warn-text: #D2B772}}*{box-sizing:border-box;margin:0;padding:0;overflow-wrap:break-word}code,pre,.atom-code,.world-card,.countermodel-card,.glass-panel,.table-container,table,td,th{overflow-wrap:anywhere;word-break:break-word;max-width:100%}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:var(--panel-tint)}::-webkit-scrollbar-thumb{background:var(--rule);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--rule-strong)}body{background-color:var(--bg-color);color:var(--text-main);font-family:var(--font-main);line-height:1.6;min-height:100vh;display:flex;flex-direction:column}header{background-color:var(--paper);padding:20px 2rem 1.25rem}.site-masthead-top{display:flex;justify-content:space-between;align-items:center;max-width:1400px;margin:0 auto 16px;padding-bottom:14px;border-bottom:1px solid var(--rule)}.site-home-link{display:flex;align-items:center;gap:10px;text-decoration:none;color:var(--ink)}.site-home-link:hover .site-title-mark{text-decoration:underline;text-underline-offset:3px}.site-title-mark{font-weight:900;font-size:1.05rem;letter-spacing:-.005em}.name-seal{font-family:"Noto Serif TC","Noto Serif KR",serif;font-size:.62rem;font-weight:600;letter-spacing:.08em;line-height:1;color:var(--seal);border:1px solid var(--seal);padding:3px 4px}.masthead-right-tools{display:flex;align-items:center;gap:1rem}.site-back{font-size:.82rem;color:var(--text-muted);text-decoration:none}.site-back:hover{color:var(--text-main);text-decoration:underline;text-underline-offset:3px}.lang-toggle-btn{background:var(--paper);border:1px solid var(--rule);color:var(--seal);font-family:var(--font-code);font-size:.8rem;font-weight:700;padding:.25rem .6rem;border-radius:4px;cursor:pointer;transition:all .15s ease}.lang-toggle-btn:hover{background:var(--panel-tint);border-color:var(--seal)}.logo-group{display:flex;align-items:center;gap:1rem;max-width:1400px;margin:0 auto}.logo-icon{width:44px;height:44px;background-color:var(--primary-navy);color:var(--paper);font-family:var(--font-heading);font-size:1.75rem;font-weight:700;border-radius:6px;display:flex;align-items:center;justify-content:center}header h1{font-family:var(--font-heading);font-size:1.35rem;font-weight:700;color:var(--primary-navy);letter-spacing:-.01em}header .subtitle{font-size:.85rem;color:var(--text-muted);font-weight:500;margin-top:.1rem}main{display:grid;grid-template-columns:minmax(320px,360px) minmax(0,1fr);gap:1.25rem;padding:1.25rem 1.5rem;width:100%;max-width:100vw;margin:0 auto;flex:1;box-sizing:border-box}@media (max-width: 1100px){main{grid-template-columns:1fr;padding:1rem}}.glass-panel{background:var(--card-bg);border:1px solid var(--card-border);border-radius:8px;padding:1.25rem;margin-bottom:1.25rem;transition:border-color .2s ease}.glass-panel:hover{border-color:var(--rule-strong)}.control-sidebar label{font-size:.85rem;font-weight:600;color:var(--primary-navy);letter-spacing:.02em;margin-bottom:.5rem;display:block}select,input[type=text]{width:100%;background-color:var(--paper);border:1px solid var(--card-border);border-radius:6px;padding:.65rem .85rem;color:var(--text-main);font-family:var(--font-main);font-size:.95rem;outline:none;transition:all .15s ease}select:focus,input[type=text]:focus{border-color:var(--card-border-focus);box-shadow:0 0 0 3px color-mix(in srgb,var(--seal) 18%,transparent)}.logic-info-card{margin-top:.75rem;background-color:var(--panel-tint);border:1px solid var(--rule);border-left:3px solid var(--seal);border-radius:4px;padding:.75rem .85rem;font-size:.85rem;color:var(--text-muted)}.chapter-tag{display:inline-block;font-family:var(--font-main);font-style:italic;font-size:.75rem;font-weight:600;color:var(--seal);margin-left:.35rem;vertical-align:baseline}.input-tools{display:flex;gap:.35rem}.virtual-keypad{margin-top:.75rem;padding:.75rem;background:var(--paper);border:1px solid var(--rule);border-radius:8px}.keypad-typecase{display:flex;flex-direction:column;gap:.6rem}.keypad-group{display:flex;align-items:center;gap:.75rem}.keypad-group-label{font-size:.78rem;font-weight:700;color:var(--text-muted);width:80px;flex-shrink:0}.keypad-group-buttons{display:flex;flex-wrap:wrap;gap:.4rem}.vk-btn{background:var(--panel-tint);border:1px solid var(--rule);color:var(--seal);font-family:var(--font-code);font-size:1.05rem;font-weight:800;padding:.3rem .65rem;border-radius:5px;cursor:pointer;transition:all .15s ease;min-width:36px;display:inline-flex;align-items:center;justify-content:center}.vk-btn:hover{background:var(--seal);color:var(--paper);border-color:var(--seal);transform:translateY(-1px)}.icon-tool-btn{background:var(--paper);border:1px solid var(--rule);color:var(--text-muted);border-radius:4px;padding:.2rem .55rem;font-family:var(--font-main);font-size:.78rem;font-weight:600;cursor:pointer;transition:all .15s ease}.icon-tool-btn:hover{background:var(--panel-tint);border-color:var(--rule-strong);color:var(--text-main)}.icon-tool-btn.highlight{background:var(--warn-bg);border-color:var(--warn-border);color:var(--warn-text)}.icon-tool-btn.highlight:hover{background:var(--warn-border)}.btn-primary{background-color:var(--primary-navy);color:var(--paper);border:1px solid var(--primary-navy);border-radius:6px;padding:.75rem 1rem;font-family:var(--font-main);font-size:.9rem;font-weight:600;cursor:pointer;transition:all .2s ease}.btn-primary:hover{background-color:var(--seal);border-color:var(--seal);transform:translateY(-1px)}#presets-mount{display:flex;flex-direction:column;gap:.5rem;max-height:300px;overflow-y:auto;padding-right:.25rem}.preset-btn{background-color:var(--paper);border:1px solid var(--rule);border-radius:6px;padding:.6rem .75rem;text-align:left;cursor:pointer;transition:all .15s ease}.preset-btn:hover{background-color:var(--panel-tint);border-color:var(--card-border-focus)}.preset-title{font-size:.825rem;font-weight:600;color:var(--primary-navy)}.preset-formula{font-family:var(--font-code);font-size:.75rem;color:var(--text-dim);margin-top:.2rem}.results-header{display:flex;flex-direction:column;align-items:center;border-bottom:1px solid var(--rule);padding-bottom:1rem;gap:1rem}.result-status-hero{display:flex;justify-content:center;align-items:center;width:100%}.status-badge{font-family:var(--font-main);font-size:1.05rem;font-weight:800;letter-spacing:.03em;padding:.5rem 1.5rem;border-radius:24px;display:inline-flex;align-items:center;gap:.5rem;transition:all .2s ease}.status-badge.valid{background-color:var(--ok-bg);color:var(--ok-text);border:1.5px solid var(--ok-border)}.status-badge.invalid{background-color:var(--bad-bg);color:var(--bad-text);border:1.5px solid var(--bad-border)}.status-badge.empty{background-color:var(--panel-tint);color:var(--text-muted);border:1px solid var(--rule);font-size:.9rem;font-weight:600}.tab-buttons{display:flex;gap:.35rem;flex-wrap:wrap;justify-content:center;width:100%}.tab-btn{background:var(--paper);border:1px solid var(--rule);border-bottom:2px solid transparent;color:var(--text-muted);border-radius:4px 4px 0 0;padding:.45rem .85rem;font-family:var(--font-main);font-size:.825rem;font-weight:600;cursor:pointer;transition:all .15s ease}.tab-btn:hover{background:var(--panel-tint);color:var(--text-main)}.tab-btn.active{background:var(--paper);border-color:var(--rule-strong);border-bottom:2.5px solid var(--seal);color:var(--ink);font-weight:800}@keyframes nodeFadeIn{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}@keyframes edgeFadeIn{0%{opacity:0}to{opacity:.85}}.tree-node{animation:nodeFadeIn .35s ease-out forwards;opacity:0}.tableau-edge{animation:edgeFadeIn .3s ease-out forwards;opacity:0}.workspace-panel,.control-sidebar{min-width:0;max-width:100%}.tree-view-container{width:100%;max-width:100%;box-sizing:border-box;min-height:420px;max-height:75vh;background-color:var(--paper);border:1px solid var(--card-border);border-radius:6px;display:flex;justify-content:center;align-items:flex-start;padding:1.5rem;overflow:auto}.svg-toolbar{display:flex;justify-content:space-between;align-items:center;margin-bottom:.75rem}.zoom-controls{display:flex;gap:.35rem}.tool-btn{background:var(--paper);border:1px solid var(--rule);color:var(--text-muted);border-radius:4px;padding:.35rem .7rem;font-family:var(--font-main);font-size:.8rem;font-weight:600;cursor:pointer;transition:all .15s ease}.tool-btn:hover{background:var(--panel-tint);color:var(--text-main);border-color:var(--rule-strong)}.tool-btn.highlight{background-color:var(--paper);border-color:var(--seal);color:var(--seal)}.tool-btn.highlight:hover{background-color:var(--panel-tint)}.code-view{background-color:var(--paper);border:1px solid var(--card-border);border-radius:6px;padding:1.25rem;font-family:var(--font-code);font-size:.875rem;color:var(--ink);line-height:1.5;overflow-x:auto;white-space:pre}.copy-btn{background-color:var(--paper);border:1px solid var(--rule);color:var(--text-muted);border-radius:4px;padding:.35rem .75rem;font-size:.75rem;font-weight:600;cursor:pointer;transition:all .15s ease}.copy-btn:hover{background-color:var(--panel-tint);color:var(--text-main)}.fitch-header{margin-bottom:1rem;border-bottom:1px solid var(--rule);padding-bottom:.5rem}.fitch-header h4{font-family:var(--font-heading);font-size:1.1rem;color:var(--primary-navy)}.fitch-subtitle{font-size:.8rem;color:var(--text-muted)}.fitch-table-wrapper{width:100%;background-color:var(--paper);border:1px solid var(--card-border);border-radius:6px;padding:1.25rem;overflow-x:auto}.fitch-table{width:100%;border-collapse:collapse;font-family:var(--font-code);font-size:.9rem;color:var(--ink)}.fitch-table th{font-family:var(--font-main);font-size:.8rem;font-weight:700;color:var(--text-muted);border:none;border-bottom:1.5px solid var(--primary-navy);padding-bottom:.5rem;text-align:left}.fitch-row{height:2.2rem;border-bottom:1px solid color-mix(in srgb,var(--rule) 50%,transparent);transition:background-color .15s ease}.fitch-row:hover{background-color:var(--panel-tint)}.fitch-line-num{padding-right:.75rem;text-align:right;color:var(--text-dim);font-weight:600;-webkit-user-select:none;user-select:none;width:50px}.fitch-vbar{display:inline-block;width:22px;height:2.2rem;border-left:2px solid var(--primary-navy);margin-right:2px;flex-shrink:0}.fitch-content-box{display:flex;align-items:center;gap:.5rem;padding-left:.5rem}.fitch-assumption-border .fitch-content-box{border-bottom:2px solid var(--primary-navy);padding-bottom:.2rem;margin-bottom:.1rem}.fitch-rule-badge{font-family:var(--font-main);font-size:.8rem;font-weight:600;color:var(--text-muted);background-color:var(--panel-tint);border:1px solid var(--rule);padding:.2rem .6rem;border-radius:4px;display:inline-block}.virtual-keypad{margin-top:.85rem}.keypad-typecase{display:flex;flex-direction:column;gap:.65rem;background-color:var(--panel-tint);border:1px solid var(--rule);border-radius:6px;padding:.75rem}.keypad-group{display:flex;flex-direction:column;gap:.25rem}.keypad-group-label{font-size:.72rem;font-weight:700;color:var(--text-dim);letter-spacing:.04em}.keypad-group-buttons{display:flex;flex-wrap:wrap;gap:.35rem}.vk-btn{background-color:var(--paper);border:1px solid var(--rule);border-radius:5px;height:38px;min-width:40px;padding:0 .6rem;display:inline-flex;align-items:center;justify-content:center;font-family:var(--font-code);font-size:1.15rem;font-weight:700;color:var(--primary-navy);cursor:pointer;transition:all .15s ease}.vk-btn:hover{background-color:var(--paper);border-color:var(--seal);color:var(--seal);transform:translateY(-1px)}.vk-btn:active{transform:translateY(0);background-color:var(--panel-tint)}@media (max-width: 480px){header{padding:15px 1rem}main{padding:1rem;gap:1rem}.keypad-group-buttons{display:grid;grid-template-columns:repeat(4,1fr)}.vk-btn{height:42px;width:100%}.results-header{gap:.75rem}.tab-buttons{flex-direction:column;width:100%}.tab-btn{width:100%;text-align:center;border-radius:4px}}.matrix-table{width:100%;border-collapse:collapse;margin-top:1rem;font-size:.875rem}.matrix-table th{background-color:var(--panel-tint);color:var(--primary-navy);font-family:var(--font-main);font-weight:700;padding:.75rem 1rem;border:none;border-bottom:2px solid var(--primary-navy);text-align:left}.matrix-table td{padding:.65rem 1rem;border:none;border-bottom:1px solid var(--rule);background-color:var(--paper);color:var(--text-main)}.matrix-table tr:hover td{background-color:var(--panel-tint)}.valuation-table{width:100%;border-collapse:collapse;margin-top:.5rem;font-size:.875rem}.valuation-table th{font-family:var(--font-main);font-weight:700;color:var(--text-muted);padding:.6rem .85rem;border:none;border-bottom:1.5px solid var(--rule-strong);text-align:left}.valuation-table td{padding:.55rem .85rem;border:none;border-bottom:1px solid var(--rule);color:var(--text-main)}.val-badge{display:inline-block;padding:.2rem .6rem;border-radius:12px;font-size:.75rem;font-weight:700}.val-badge.val-true{background-color:var(--ok-bg);color:var(--ok-text);border:1px solid var(--ok-border)}.val-badge.val-false{background-color:var(--bad-bg);color:var(--bad-text);border:1px solid var(--bad-border)}.empty-state-card{text-align:center;padding:3rem 1.5rem;color:var(--text-muted)}.empty-state-card h3{font-family:var(--font-heading);font-size:1.2rem;color:var(--primary-navy);margin-bottom:.5rem}.empty-state-card p{font-size:.9rem;max-width:500px;margin:0 auto}.site-footer{border-top:1px solid var(--rule);margin-top:2rem;padding:1.25rem 2rem;text-align:center}.site-footer p{margin:0;font-size:.8rem;color:var(--text-dim)}.site-footer a{color:inherit;text-decoration:underline;text-decoration-color:var(--rule)}.site-footer a:hover{text-decoration-color:var(--ink)}.fitch-academic-card{background:var(--card-bg);border:2px solid var(--card-border);border-radius:12px;padding:1.75rem;margin-top:1rem;box-shadow:0 4px 15px #0000000f}.fitch-academic-header{display:flex;justify-content:space-between;align-items:center;border-bottom:2px solid var(--seal);padding-bottom:.75rem;margin-bottom:1.25rem}.fitch-academic-title{font-size:1.25rem;font-weight:800;color:var(--seal);font-family:var(--font-heading)}.fitch-academic-table{width:100%;border-collapse:collapse;font-family:var(--font-code);font-size:1.15rem;line-height:1.8}.fitch-academic-row{display:flex;align-items:center;padding:.4rem .5rem;transition:background .15s ease;border-radius:6px}.fitch-academic-row:hover{background:var(--panel-tint)}.fitch-num-col{width:55px;font-weight:800;color:var(--seal);text-align:right;padding-right:1.25rem;-webkit-user-select:none;user-select:none}.fitch-formula-col{flex:1;display:flex;align-items:center;font-weight:700;color:var(--text-main);font-size:1.2rem}.fitch-vbar{border-left:3px solid var(--seal);margin-right:.75rem;height:100%;display:inline-block;padding-left:.5rem}.fitch-rule-col{color:var(--text-muted);font-size:1.05rem;font-weight:700;margin-left:2rem;font-style:italic}.fitch-assumption-sep{border-bottom:2px solid var(--ink);margin-bottom:.4rem;padding-bottom:.4rem}.term-fitch-container{font-family:var(--font-code)}.term-fitch-rule{color:var(--text-muted);font-size:.9rem;margin-left:1.5rem;font-weight:500}.term-fitch-sep{opacity:.8}.countermodel-card{background:var(--card-bg);border:2px solid var(--seal);border-radius:12px;padding:1.75rem;margin-top:1.5rem;box-shadow:0 10px 25px -5px #0000001a}.countermodel-card h3{font-size:1.35rem;font-weight:800;color:var(--seal);margin-bottom:.75rem;display:flex;align-items:center;justify-content:space-between}.countermodel-card .explanation{font-size:1.05rem;line-height:1.7;color:var(--text-main);background:var(--panel-tint);padding:1rem 1.25rem;border-radius:8px;border-left:4px solid var(--seal);margin-bottom:1.5rem}.kripke-container{margin-top:1.5rem;background:var(--panel-tint);padding:1.5rem;border-radius:10px;border:1px solid var(--card-border)}.kripke-container h4{font-size:1.2rem;font-weight:700;margin-bottom:1rem;color:var(--text-main);border-bottom:1px dashed var(--rule);padding-bottom:.5rem}.worlds-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:1.5rem;margin-top:1rem}.world-card{background:var(--card-bg);border:2px solid var(--card-border);border-radius:10px;padding:1.25rem;transition:transform .2s ease,border-color .2s ease}.world-card:hover{transform:translateY(-2px);border-color:var(--seal)}.world-title{font-size:1.15rem;font-weight:800;margin-bottom:.75rem;display:flex;align-items:center;gap:.5rem}.world-title code{background:var(--seal);color:#fff;padding:2px 10px;border-radius:6px;font-size:1.1rem}.world-atoms{display:flex;flex-direction:column;gap:.6rem;font-size:1rem}.atom-line{padding:8px 12px;border-radius:6px;font-weight:600}.true-line{background:var(--ok-bg);color:var(--ok-text);border:1px solid var(--ok-border)}.false-line{background:var(--bad-bg);color:var(--bad-text);border:1px solid var(--bad-border)}.relations-list{margin-top:1.25rem;padding:1rem;background:var(--card-bg);border-radius:8px;border:1px solid var(--card-border);font-size:1.05rem}.relations-badges{display:flex;gap:.75rem;flex-wrap:wrap;margin-top:.5rem}.relation-badge{background:var(--seal);color:#fff;padding:4px 12px;border-radius:20px;font-weight:700;font-size:1rem;font-family:var(--font-code)}.tableau-node-box{background:var(--card-bg);border:1px solid var(--card-border);border-radius:8px;padding:.75rem 1.25rem;font-family:var(--font-code);font-size:1.05rem;margin:.4rem 0;display:inline-block;text-align:center;box-shadow:0 2px 4px #0000000d}.tableau-node-box .node-idx{color:var(--seal);font-weight:800;margin-right:.5rem}.tableau-node-box .node-world{background:var(--panel-tint);border:1px solid var(--rule);padding:1px 6px;border-radius:4px;font-size:.95rem;margin-right:.5rem}.tableau-node-box .node-rule{font-size:.85rem;color:var(--text-muted);margin-left:.5rem;font-style:italic}.tableau-branch-status{margin-top:.5rem;font-weight:800;font-size:1rem;padding:4px 10px;border-radius:6px;display:inline-block}.tableau-branch-status.closed{background:var(--bad-bg);color:var(--bad-text);border:1px solid var(--bad-border)}.tableau-branch-status.open{background:var(--ok-bg);color:var(--ok-text);border:1px solid var(--ok-border)}.garson-fitch-container{width:100%;max-width:100%;box-sizing:border-box;background-color:var(--paper);border:1px solid var(--rule-strong);border-radius:8px;padding:1.25rem;margin-top:.5rem;box-shadow:0 4px 12px #00000014;overflow-x:auto}.garson-fitch-header{display:flex;justify-content:space-between;align-items:center;border-bottom:1.5px solid var(--rule-strong);padding-bottom:.75rem;margin-bottom:1.25rem}.garson-fitch-title{display:flex;align-items:center;gap:.6rem;font-family:var(--font-heading);font-size:1.05rem;font-weight:800;color:var(--ink)}.garson-book-badge{background:var(--seal);color:#fff;font-size:.75rem;font-weight:800;padding:.2rem .55rem;border-radius:4px;letter-spacing:.03em}.garson-copy-btn{padding:.4rem .85rem;font-size:.82rem;font-family:var(--font-code);font-weight:700;border-radius:6px;background:var(--paper);border:1px solid var(--seal);color:var(--seal);cursor:pointer;transition:all .2s ease}.garson-copy-btn:hover{background:var(--seal);color:#fff}.garson-fitch-sheet{background-color:var(--paper);border:1px solid var(--rule);border-radius:6px;padding:1.5rem;overflow-x:auto}.garson-fitch-sheet-inner{display:flex;flex-direction:column;gap:.15rem;font-family:"STIX Two Math","Latin Modern Math",Computer Modern,Times New Roman,serif;font-size:1.05rem;color:var(--ink)}.garson-fitch-row{display:grid;grid-template-columns:45px 1fr auto;align-items:center;min-height:2.2rem;padding:.1rem .5rem;border-radius:4px;transition:background-color .15s ease}.garson-fitch-row:hover{background-color:var(--panel-tint)}.garson-line-num{font-family:var(--font-code);font-size:.9rem;font-weight:700;color:var(--text-dim);-webkit-user-select:none;user-select:none}.garson-formula-col{display:flex;align-items:center}.garson-vbar{display:inline-block;width:18px;height:2.2rem;border-left:2.5px solid var(--seal);margin-right:4px;flex-shrink:0}.garson-formula-content{display:flex;align-items:center;padding-left:.4rem}.garson-world-tag{font-family:var(--font-code);font-weight:800;font-size:.95rem;color:var(--seal);margin-right:.45rem}.garson-math-formula{font-weight:600;letter-spacing:.02em}.garson-rule-col{font-family:var(--font-main);font-size:.85rem;font-weight:700;color:var(--text-muted);background-color:var(--panel-tint);border:1px solid var(--rule);padding:.2rem .65rem;border-radius:4px;white-space:nowrap}.garson-hypothesis-row{font-weight:700}.garson-assumption-divider{border-bottom:2px solid var(--seal);margin-bottom:.25rem;padding-bottom:.2rem}.fitch-cand-btn{padding:.4rem .85rem;border-radius:6px;border:1px solid var(--rule);background:var(--paper);color:var(--text-main);font-size:.85rem;font-weight:700;cursor:pointer;transition:all .2s ease}.fitch-cand-btn.active{background:var(--seal);color:#fff;border-color:var(--seal)}.playback-controls{display:flex;align-items:center;gap:.4rem}#pb-step-label{font-family:var(--font-code);color:var(--ink)}#practice-panel{border:1px solid var(--rule);background:var(--panel-tint)}.practice-opt{font-family:var(--font-code)}.practice-opt.wrong{border-color:var(--seal)!important;color:var(--seal)!important}.preset-group-header{margin:.9rem 0 .4rem;font-size:.8rem;font-weight:800;color:var(--rule-strong);border-bottom:1px solid var(--rule);padding-bottom:.25rem}#rules-container table{width:100%;border-collapse:collapse;font-size:.9rem}#rules-container th{text-align:left;padding:.4rem .75rem;border-bottom:2px solid var(--ink)}#rules-container td{padding:.4rem .75rem;border-top:1px solid var(--rule)}#rules-container .mono{font-family:var(--font-code)}.world-card{border:1px solid var(--rule);background:var(--card-bg)}:root{--paper: #FBF9F3;--ink: #171511;--band: #E8B321;--band-ink: #171511;--rule: #DAD3C0;--rule-strong: #6E6753;--seal: #171511;--font-heading: "Archivo", "Noto Sans KR", sans-serif;--font-main: "Noto Sans KR", "Archivo", sans-serif;--font-prose: "STIX Two Text", "Noto Serif KR", serif;--font-code: "Fira Code", monospace;--ok-bg: var(--band);--ok-text: var(--band-ink);--ok-border: var(--ink);--bad-bg: var(--ink);--bad-text: var(--paper);--bad-border: var(--ink)}header{background:var(--band);border-bottom:3px solid var(--ink);box-shadow:inset 0 -8px 0 var(--band),inset 0 -10px 0 var(--ink);padding:0 2rem 1.4rem;margin-bottom:1.5rem}.site-masthead-top{border-bottom:1.5px solid var(--ink);padding:.6rem 0;margin-bottom:1.1rem}.site-title-mark{font-family:var(--font-heading);font-weight:900;letter-spacing:.02em}.name-seal{border:1.5px solid var(--ink);background:transparent;color:var(--ink)}.logo-group{align-items:flex-start}.logo-icon{background:var(--ink);color:var(--band);border-radius:0;font-size:1.9rem;font-weight:900;width:3.4rem;height:3.4rem;display:flex;align-items:center;justify-content:center}header h1{font-family:var(--font-heading);font-weight:900;letter-spacing:-.015em;color:var(--ink);text-transform:none}header .subtitle{font-family:var(--font-heading);font-weight:600;font-size:.72rem;letter-spacing:.14em;text-transform:uppercase;color:var(--ink);opacity:.85;margin-top:.3rem}.lang-toggle-btn,.site-back{color:var(--ink);font-family:var(--font-code)}.glass-panel,.preset-btn,.tool-btn,.icon-tool-btn,.tab-btn,select,input[type=text]{border-radius:0}.glass-panel{border:1px solid var(--rule)}.btn-primary{background:var(--ink);color:var(--paper);border-radius:0;border:none;font-family:var(--font-heading);font-weight:700;letter-spacing:.04em}.btn-primary:hover{background:#000}.status-badge{border-radius:0;font-family:var(--font-heading);font-weight:900;letter-spacing:.08em;border:2px solid var(--ink);padding:.45rem 1.2rem}.status-badge.valid{background:var(--band);color:var(--ink)}.status-badge.invalid{background:var(--ink);color:var(--paper)}.status-badge.empty{background:transparent;color:var(--rule-strong);border-color:var(--rule)}.tab-btn{font-family:var(--font-heading);font-weight:600;border:1px solid transparent}.tab-btn.active{border-color:var(--ink);background:var(--paper);font-weight:700}#tab-svg-wrapper:after,#fitch-container-mount:after{display:block;font-family:var(--font-prose);font-style:italic;font-size:.85rem;color:var(--rule-strong);border-top:1px solid var(--rule);margin-top:.75rem;padding-top:.4rem}#tab-svg-wrapper:after{content:"Fig. 1. Tableau proof tree — ✕ closed branch, ◯ open branch (countermodel)."}#fitch-container-mount:after{content:"Fig. 2. Fitch-style natural deduction, translated from the closed tableau."}.preset-group-header{font-family:var(--font-heading);text-transform:uppercase;letter-spacing:.1em;color:var(--ink);border-bottom:1.5px solid var(--ink)}.preset-btn:hover{border-color:var(--ink)}.preset-formula{font-family:var(--font-code)}:focus-visible{outline:2px solid var(--ink);outline-offset:2px}@media (prefers-reduced-motion: reduce){.tree-node,.tableau-edge{animation:none!important}*{transition:none!important}}.tree-node,.tableau-edge{animation:none!important;opacity:1!important}:root{--term-bg: #1A1712;--term-amber: #E8B321;--term-dim: color-mix(in srgb, var(--term-amber) 45%, var(--term-bg) 55%)}.term-input-row{display:flex;align-items:center;background:var(--term-bg);border:2px solid var(--ink);padding:0 0 0 .9rem}.term-prompt{font-family:var(--font-code);font-weight:700;font-size:1.15rem;color:var(--term-amber);-webkit-user-select:none;user-select:none}.term-input-row input[type=text],.term-input-row input[type=text]:focus{flex:1;background:transparent;border:none;outline:none;color:var(--term-amber);caret-color:var(--term-amber);font-family:var(--font-code);font-size:1.05rem;padding:.8rem .9rem}.term-input-row input[type=text]::placeholder{color:var(--term-dim)}.term-input-row:focus-within{border-color:var(--ink);box-shadow:0 0 0 2px var(--band)}.code-view{background:var(--term-bg);color:var(--term-amber);border:2px solid var(--ink);border-radius:0;font-family:var(--font-code);line-height:1.5}.code-view::selection,.code-view *::selection{background:var(--term-amber);color:var(--term-bg)}.fp-proof{font-family:var(--font-code);font-size:1.05rem;line-height:1.9;max-width:46rem}.fp-line{display:flex;align-items:baseline}.fp-num{width:2.4rem;text-align:right;padding-right:1rem;flex-shrink:0;font-size:.82rem;color:var(--rule-strong)}.fp-body{display:flex;align-items:stretch;flex:1;min-width:0}.fp-rail{border-left:1.5px solid var(--ink);margin-right:1.1rem}.fp-frm{padding:0 .35rem;font-weight:600}.fp-assume{border-bottom:1.5px solid var(--ink)}.fp-boxmark{font-weight:900}.fp-jst{flex-shrink:0;padding-left:1.5rem;text-align:right;font-family:var(--font-prose);font-style:italic;font-size:.88rem;color:var(--ink)}.tableau-tree-svg{max-width:100%;height:auto;display:block;margin:0 auto}.preset-btn.preset-solved{opacity:.72}.preset-btn.preset-solved .preset-title{color:var(--rule-strong)}.fp-jst.fp-blank{cursor:pointer}.fp-jst.fp-blank select{font-family:var(--font-code);font-size:.8rem;padding:.05rem .2rem}.fp-jst.fp-right{color:var(--ok-text, #2a7a2a);font-weight:700}.fp-jst.fp-wrong{color:var(--bad-text);text-decoration:line-through}.status-badge.unknown{background:#f0e6c8;color:#6b4f00;border-color:#c9a84c}@media print{.control-sidebar,.tool-btn,.icon-tool-btn,.tab-btn,header .masthead-right-tools,#presets-mount,#practice-panel,#nd-write-panel,#tptp-panel,#problem-panel,textarea,.lang-toggle-btn{display:none!important}body{background:#fff;color:#000;font-size:11pt}.glass-panel{box-shadow:none;border:1px solid #999;break-inside:avoid}svg{max-width:100%}.fitch-proof,.derivation-trace-panel,#countermodel-container{break-inside:avoid}.tab-content{display:block!important}a[href]:after{content:""}@page{margin:15mm}}button:focus-visible,select:focus-visible,input:focus-visible,textarea:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--accent, #1a73e8);outline-offset:2px}@media (prefers-contrast: more){:root{--rule-strong: #000;--ink: #000}.glass-panel{border:2px solid #000!important;background:#fff!important;-webkit-backdrop-filter:none!important;backdrop-filter:none!important}.tool-btn,.tab-btn{border:2px solid #000!important;color:#000!important}.val-badge.val-false{background:#000!important;color:#fff!important}.evidence-badge{color:#000!important;font-weight:700}}@media (prefers-reduced-motion: reduce){*{transition:none!important;animation:none!important}}.evidence-badge.proof-certified,.evidence-badge.countermodel-verified{color:#2a7a2a}.evidence-badge.countermodel-unverified,.evidence-badge.unknown{color:#8a5a00}