.main-container{max-width:1100px;margin:0 auto;padding:40px 20px 64px}.page-title{font-family:var(--calc-font-headline);color:var(--calc-text-primary);letter-spacing:-.01em;margin:0 0 .5rem;font-size:clamp(1.7rem,4vw,2.5rem);font-weight:800}.page-subtitle{color:var(--calc-text-faded);max-width:70ch;margin:0 0 1.75rem;font-size:1.02rem;line-height:1.55}.action-bar{flex-wrap:wrap;gap:.5rem;margin-bottom:1.5rem;display:flex}.action-btn{background:var(--calc-bg-card);border:1px solid var(--calc-border-default);border-radius:var(--calc-radius-md);color:var(--calc-text-primary);font-family:var(--calc-font-headline);cursor:pointer;padding:.5rem .9rem;font-size:.85rem;font-weight:600;transition:border-color .15s,background .15s,transform .1s}.action-btn:hover{border-color:var(--calc-cyan);color:var(--calc-cyan)}.action-btn:active{transform:translateY(1px)}.action-btn--reset{margin-left:auto}.mode-tabs{border-bottom:1px solid var(--calc-border-subtle);flex-wrap:wrap;gap:.4rem;margin-bottom:1.25rem;padding-bottom:.25rem;display:flex}.mode-tab{border-radius:var(--calc-radius-md) var(--calc-radius-md) 0 0;color:var(--calc-text-faded);font-family:var(--calc-font-headline);cursor:pointer;background:0 0;border:1px solid #0000;padding:.6rem 1.1rem;font-size:.92rem;font-weight:600;transition:color .15s,background .15s,border-color .15s}.mode-tab:hover{color:var(--calc-text-primary)}.mode-tab.active{color:var(--calc-cyan);background:var(--calc-bg-card);border-color:var(--calc-border-default);border-bottom-color:#0000}.calc-panel{display:none}.calc-panel.active{display:block}.input-card,.result-card,.table-card,.classification-card,.rules-card{background:var(--calc-bg-card);border:1px solid var(--calc-border-default);border-radius:var(--calc-radius-lg);margin-bottom:1.25rem;padding:1.25rem 1.5rem}.card-title{font-family:var(--calc-font-headline);color:var(--calc-text-primary);margin:0 0 1rem;font-size:1rem;font-weight:700}.field{flex-direction:column;gap:.35rem;display:flex}.field label{color:var(--calc-text-faded);font-size:.82rem;font-weight:600}.expr-input{background:var(--calc-bg-input);border:1px solid var(--calc-border-strong);border-radius:var(--calc-radius-md);color:var(--calc-text-primary);font-family:var(--calc-font-mono);width:100%;padding:.7rem .9rem;font-size:1.15rem;transition:border-color .15s,box-shadow .15s}.expr-input:focus{border-color:var(--calc-cyan);outline:none;box-shadow:0 0 0 3px #22d3ee26}.input-hint{color:var(--calc-text-dim);font-size:.78rem}.expr-error{color:var(--calc-rose);margin:.4rem 0 0;font-size:.85rem;font-weight:600}.preset-row{flex-wrap:wrap;align-items:center;gap:.5rem;margin-top:1.1rem;display:flex}.preset-label{color:var(--calc-text-dim);font-size:.82rem;font-weight:600}.preset-chip{background:var(--calc-bg-glass);border:1px solid var(--calc-border-default);color:var(--calc-text-faded);font-family:var(--calc-font-mono);cursor:pointer;border-radius:999px;padding:.35rem .85rem;font-size:.82rem;transition:border-color .15s,color .15s,background .15s}.preset-chip:hover{border-color:var(--calc-cyan);color:var(--calc-cyan)}.result-value{font-family:var(--calc-font-mono);color:var(--calc-cyan);word-break:break-word;margin-bottom:.4rem;font-size:clamp(1.8rem,5vw,2.6rem);font-weight:700;line-height:1.1}.result-value--partial,.result-value--idle{color:var(--calc-text-dim)}.result-detail{color:var(--calc-text-faded);line-height:1.5}.interpretation{background:var(--calc-bg-glass);border:1px solid var(--calc-border-subtle);border-left:3px solid var(--calc-cyan);border-radius:var(--calc-radius-md);color:var(--calc-text-primary);margin:0 0 1.25rem;padding:.85rem 1.1rem;font-size:.95rem;line-height:1.55}.truth-table-scroll{overflow-x:auto}.truth-table{border-collapse:collapse;width:100%;font-family:var(--calc-font-mono);font-size:.95rem}.truth-table th,.truth-table td{text-align:center;border-bottom:1px solid var(--calc-border-subtle);white-space:nowrap;padding:.55rem .9rem}.truth-table thead th{color:var(--calc-text-faded);text-transform:uppercase;letter-spacing:.03em;border-bottom:1px solid var(--calc-border-default);font-size:.85rem;font-weight:700}.truth-table thead th:last-child{color:var(--calc-cyan)}.truth-table tbody tr:hover{background:var(--calc-bg-glass)}.truth-cell--true{color:var(--calc-emerald);font-weight:700}.truth-cell--false{color:var(--calc-text-dim)}.truth-cell--result.truth-cell--true{background:#34d3991a}.truth-cell--result.truth-cell--false{background:#94a3b814}.table-empty{color:var(--calc-text-faded);margin:0;font-size:.95rem}.classification-badge{font-family:var(--calc-font-headline);color:var(--calc-text-dim);background:#94a3b829;border-radius:999px;margin-bottom:.9rem;padding:.5rem 1.25rem;font-size:1.4rem;font-weight:800;display:inline-block}.classification-badge--tautology{color:var(--calc-emerald);background:#34d39929}.classification-badge--contradiction{color:var(--calc-rose);background:#fb718529}.classification-badge--contingency{color:var(--calc-sky);background:#60a5fa29}.class-counts{color:var(--calc-text-faded);font-family:var(--calc-font-mono);margin:0 0 .75rem;font-size:.9rem}.class-explain{color:var(--calc-text-primary);margin:0;line-height:1.6}.steps-help{color:var(--calc-text-faded);margin:-.5rem 0 1rem;font-size:.9rem;line-height:1.55}.rules-table{flex-direction:column;gap:.4rem;margin-bottom:1rem;display:flex}.rules-row{border-radius:var(--calc-radius-md);background:var(--calc-bg-glass);border:1px solid var(--calc-border-subtle);color:var(--calc-text-faded);grid-template-columns:1fr 1.2fr 2.4fr;align-items:center;gap:.75rem;padding:.6rem .75rem;font-size:.9rem;display:grid}.rules-row--head{font-family:var(--calc-font-mono);text-transform:uppercase;letter-spacing:.05em;color:var(--calc-text-dim);background:0 0;border:none;padding-bottom:0;font-size:.75rem}.rules-row strong{color:var(--calc-cyan)}#operators-body{display:contents}#operators-body .rules-row{grid-column:1/-1}.op-ascii{color:var(--calc-text-dim);font-size:.82rem}.page-sections-outer{max-width:1100px;margin:0 auto;padding:0 1.5rem 3rem}.faq-item__question{cursor:pointer;color:var(--calc-text-primary);user-select:none;justify-content:space-between;align-items:center;padding:14px 4px;font-size:.92rem;font-weight:600;list-style:none;transition:color .2s;display:flex}.faq-item__question::-webkit-details-marker{display:none}.faq-item__question:after{content:"+";font-family:var(--calc-font-mono);color:var(--calc-text-dim);flex-shrink:0;margin-left:16px;font-size:1.1rem;transition:color .2s}.faq-item[open] .faq-item__question:after{content:"−";color:var(--calc-cyan)}.faq-item__question:hover{color:var(--calc-cyan)}.faq-item__answer{color:var(--calc-text-faded);padding:0 4px 14px;font-size:.88rem;line-height:1.75}@media (width<=720px){.rules-row{grid-template-columns:1fr;gap:.15rem}.rules-row--head{display:none}}@media (width<=480px){.action-btn--reset{margin-left:0}.truth-table th,.truth-table td{padding:.45rem .6rem;font-size:.85rem}}[data-theme=light] .action-btn,[data-theme=light] .input-card,[data-theme=light] .result-card,[data-theme=light] .table-card,[data-theme=light] .classification-card,[data-theme=light] .rules-card{background:#fff;border-color:#0000001f;box-shadow:0 1px 4px #0000000f}[data-theme=light] .action-btn:hover{color:#0891b2;border-color:#0891b2}[data-theme=light] .expr-input{color:#0f172a;background:#f0f4f9;border-color:#00000026}[data-theme=light] .expr-input:focus{border-color:#0891b2;box-shadow:0 0 0 3px #0891b226}[data-theme=light] .field label{color:#334155}[data-theme=light] .input-hint{color:#64748b}[data-theme=light] .expr-error{color:#e11d48}[data-theme=light] .mode-tab.active{color:#0891b2;background:#fff;border-color:#0000001f #0000001f #0000}[data-theme=light] .result-value{color:#0891b2}[data-theme=light] .result-value--partial,[data-theme=light] .result-value--idle{color:#64748b}[data-theme=light] .preset-chip{color:#334155;background:#eef2f8;border-color:#0000001f}[data-theme=light] .preset-chip:hover{color:#0891b2;border-color:#0891b2}[data-theme=light] .interpretation{color:#0f172a;background:#eff9fb;border-color:#00000014 #00000014 #00000014 #0891b2}[data-theme=light] .truth-table th,[data-theme=light] .truth-table td{border-bottom-color:#0000001a}[data-theme=light] .truth-table thead th{color:#475569}[data-theme=light] .truth-table thead th:last-child{color:#0891b2}[data-theme=light] .truth-table tbody tr:hover{background:#f0f4f9}[data-theme=light] .truth-cell--true{color:#047857}[data-theme=light] .truth-cell--false{color:#64748b}[data-theme=light] .truth-cell--result.truth-cell--true{background:#04785714}[data-theme=light] .truth-cell--result.truth-cell--false{background:#64748b14}[data-theme=light] .table-empty{color:#475569}[data-theme=light] .classification-badge{color:#475569;background:#64748b24}[data-theme=light] .classification-badge--tautology{color:#047857;background:#0478571f}[data-theme=light] .classification-badge--contradiction{color:#e11d48;background:#e11d481f}[data-theme=light] .classification-badge--contingency{color:#2563eb;background:#2563eb1f}[data-theme=light] .class-counts{color:#475569}[data-theme=light] .class-explain{color:#0f172a}[data-theme=light] .steps-help{color:#475569}[data-theme=light] .rules-row{color:#475569;background:#f0f4f9;border-color:#0000001a}[data-theme=light] .rules-row--head{color:#64748b}[data-theme=light] .rules-row strong{color:#0891b2}[data-theme=light] .op-ascii{color:#64748b}[data-theme=light] .faq-item__question{color:#0f172a}[data-theme=light] .faq-item__question:hover,[data-theme=light] .faq-item[open] .faq-item__question:after{color:#0891b2}[data-theme=light] .faq-item__answer{color:#475569}