/* ============================================================================
 * logicsim 样式表
 * ----------------------------------------------------------------------------
 * 视觉方向：取自参考图「古见同学 Q 版」的配色与气质 —— 深紫墨线、藏青校服、
 *           酒红领结、米白纸底、腮红点缀。低饱和、深明度、柔和圆角。
 *
 * 配色为【实测取色】，非肉眼估计：18 张参考图共约 70 万像素采样，
 * 量化后按色相族归类取代表值。几个关键实测结果：
 *   · 头发紫 #544458 占画面 23.4%  → 是绝对主色，故作为 ink-2
 *   · 校服藏青 #585888（最暗 #38385C）
 *   · 领结酒红实测暗部 #482834（饱和度仅 0.35）→ 说明整体是克制暗调，不是鲜艳撞色
 *   · 纸底 #FCFCFC，暖调纸底 #FCF0E8
 *   · 奶油苔绿 #E4E8D8（画面里唯一的绿）→ 借来当「真 / 通过」色
 *   · 亮青 #00f3ff 只出现在 SEL.svg 图标里，与整套紫调冲突，已重着色
 *
 * ── 结构 ──
 *   1 设计令牌      2 基础与排版     3 页面骨架      4 小地图
 *   5 输入区        6 工具栏         7 画布布局      8 右侧面板
 *   9 表单控件     10 按钮          11 提示块       12 真值表
 *  13 状态栏       14 图例          15 响应式
 *
 * ⚠️ 不可改动的标识符（JS 强依赖，改名会直接让交互失联）：
 *   .main-container  #paper-container  #paper        —— 画布平移/缩放/居中的尺寸基准
 *   .mini-map  #mini-paper  #mini-view  #mini-resize —— 小地图，坐标按页面坐标计算
 *   #app-resize  及其唯一的子元素                      —— 拖拽条，JS 会写它的 background-image
 *   .right-container                                  —— 右侧面板，JS 会写它的 width
 *   #quant-prefix  #status  #stats  #inline-error  #truth-table-wrap  #truth-summary
 *   #ReversePol  #myModel  #ERName  #ERMemo  #fileToLoad  #inputFileNameToSaveAs
 *   .tab / .tab-panel / .seg 的 data-* 属性            —— 由 JS 切换选中态
 *   .is-active / .is-invalid / .is-true / .status-*    —— 由 JS 切换状态类
 *
 * ⚠️ .app-header 不能加 padding：小地图必须保持在页面 (0,0)，
 *    否则 #mini-view 的绝对定位会整体偏移。
 * ==========================================================================*/

/* ===========================================================================
 * 1 设计令牌
 * ========================================================================*/
@font-face {
    font-family: 'TsangerYuYangT03';
    src: url('./lib/TsangerYuYangT-W03.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

:root {
    /* ---------- 纸底：米白 ---------- */
    --paper: #FBF9F6;
    --paper-2: #F5F1EC;
    --surface: #FFFFFF;
    --surface-2: #FBF8F5;
    --surface-3: #F1ECEF;

    /* ---------- 墨色：取自头发紫的明度梯度 ---------- */
    --ink-1: #2A1F2E;
    --ink-2: #544458;
    --ink-3: #7A6B7E;
    --ink-4: #A294A6;
    --ink-5: #C4BAC6;

    /* ---------- 主色：校服藏青 ---------- */
    --brand: #4C4C7A;
    --brand-2: #3E3E68;
    --brand-soft: #EDEDF5;
    --brand-line: #C9C9DE;

    /* ---------- 强调：领结酒红（用于主行动与危险操作） ---------- */
    --bow: #7A3A4E;
    --bow-2: #642F40;
    --bow-soft: #F6EBEF;
    --bow-line: #D9BCC6;

    /* ---------- 点缀 ---------- */
    --blush: #D89C9C;
    --blush-soft: #FBF0F0;
    --mauve: #A488A0;
    --mauve-soft: #F2EDF2;

    /* ---------- 正解：奶油苔绿（实测 #E4E8D8） ---------- */
    --sage: #5F7A62;
    --sage-soft: #E4E8D8;
    --sage-line: #C3CDB8;

    /* ---------- 描边 ---------- */
    --line: #E7E1E5;
    --line-2: #D4CBD2;
    --line-3: #B9AEBB;

    /* ---------- 排版 ---------- */
    --font: 'TsangerYuYangT03', -apple-system, "Segoe UI", "Microsoft YaHei", sans-serif;
    --mono: ui-monospace, "Cascadia Mono", Consolas, "Courier New", monospace;
    --fs-2xs: 11px;
    --fs-xs: 12px;
    --fs-sm: 13px;
    --fs-md: 14px;
    --fs-lg: 16px;
    --fs-xl: 19px;
    --fs-2xl: 24px;
    --lh-tight: 1.3;
    --lh-normal: 1.6;
    --lh-loose: 1.78;

    /* ---------- 间距（4px 基准） ---------- */
    --sp-1: 4px;
    --sp-2: 8px;
    --sp-3: 12px;
    --sp-4: 16px;
    --sp-5: 20px;
    --sp-6: 24px;
    --sp-7: 32px;
    --sp-8: 40px;

    /* ---------- 圆角 ---------- */
    --r-xs: 4px;
    --r-sm: 7px;
    --r-md: 11px;
    --r-lg: 16px;
    --r-pill: 999px;

    /* ---------- 阴影：暖调、柔和 ---------- */
    --sh-1: 0 1px 2px rgba(42, 31, 46, .05);
    --sh-2: 0 2px 10px rgba(42, 31, 46, .07);
    --sh-3: 0 10px 30px rgba(42, 31, 46, .10);
    --ring: 0 0 0 3px rgba(76, 76, 122, .16);

    /* ---------- 布局尺寸 ---------- */
    --minimap-h: 152px;
    /* ⚠️ --minimap-w 不能改：ViewGen.js 里 miniScale = 300 / 画布宽 用的是这个 300 */
    --minimap-w: 300px;
    --panel-w: 320px;
    --status-h: 40px;
    --gap: 10px;

    /* ---------- 过渡 ---------- */
    --t-fast: 120ms ease;
    --t: 200ms ease;

    /* ---------- 节点色（与 ViewGen.js 的取色保持一致，供图例使用） ---------- */
    --node-var: #8C3A4E;
    --node-sel: #EFE2E8;
    --node-zero: #8E7F92;
    --node-one: #5F7A62;
    --node-out: #4C4C7A;
}

/* ===========================================================================
 * 2 基础与排版
 * ========================================================================*/
* { box-sizing: border-box; }

html,
body,
.joint-app {
    position: relative;
    width: 100%;
    height: 100%;
    margin: 0;
    padding: 0;
}

body {
    -webkit-user-select: none;
    -moz-user-select: none;
    user-select: none;
    font-family: var(--font);
    font-size: var(--fs-sm);
    line-height: var(--lh-normal);
    color: var(--ink-1);
    background: var(--paper);
    overflow: hidden;
    /* 中文字形在小字号下略微加宽，可读性更好 */
    letter-spacing: .01em;
}

.sr-only {
    position: absolute;
    width: 1px;
    height: 1px;
    padding: 0;
    margin: -1px;
    overflow: hidden;
    clip: rect(0, 0, 0, 0);
    white-space: nowrap;
    border: 0;
}

/* 统一滚动条：暖灰紫，细 */
.app-header ::-webkit-scrollbar,
.right-container ::-webkit-scrollbar,
.truth-wrap ::-webkit-scrollbar,
#myModel::-webkit-scrollbar {
    width: 8px;
    height: 8px;
}

.app-header ::-webkit-scrollbar-thumb,
.right-container ::-webkit-scrollbar-thumb,
.truth-wrap ::-webkit-scrollbar-thumb,
#myModel::-webkit-scrollbar-thumb {
    background: var(--line-2);
    border-radius: var(--r-pill);
}

.app-header ::-webkit-scrollbar-track,
.right-container ::-webkit-scrollbar-track,
.truth-wrap ::-webkit-scrollbar-track {
    background: transparent;
}

/* 焦点可见：键盘可达性（WCAG 2.4.7） */
:focus-visible {
    outline: 2px solid var(--brand);
    outline-offset: 2px;
}

/* ===========================================================================
 * 3 页面骨架（Flex 纵向）
 * ========================================================================*/
.joint-app {
    display: flex;
    flex-direction: column;
    background: var(--paper);
}

.app-header {
    flex: 0 0 auto;
    display: flex;
    align-items: stretch;
    width: 100%;
    height: auto;
    min-height: var(--minimap-h);
    max-height: 52vh;
    overflow: hidden;
    background: var(--surface);
    border-bottom: 1px solid var(--line);
    box-shadow: var(--sh-1);
    /* 不要加 padding —— 见文件头说明 */
}

.app-body {
    position: relative;
    flex: 1 1 auto;
    min-height: 0;
    overflow: hidden;
    background: var(--paper);
}

/* ===========================================================================
 * 4 小地图
 * ========================================================================*/
.mini-map {
    position: relative;
    flex: 0 0 var(--minimap-w);
    width: var(--minimap-w);
    height: 100%;
    padding: 0;
    background: var(--surface-2);
    border-right: 1px solid var(--line);
    overflow: hidden;
}

#mini-view {
    border: 2px solid var(--mauve);
    position: absolute;
    background-color: rgba(76, 76, 122, .10);
    border-radius: var(--r-xs);
    cursor: move;
}

#mini-resize {
    position: absolute;
    right: 0;
    bottom: 0;
    width: 11px;
    height: 11px;
    cursor: nwse-resize;
    margin: 0 -7px -7px 0;
    border-radius: 50%;
    border: 2px solid var(--mauve);
    background-color: var(--surface);
}

/* ===========================================================================
 * 5 输入区
 * ========================================================================*/
.title-container {
    position: relative;
    flex: 1 1 auto;
    min-width: 0;
    height: 100%;
    overflow: auto;
    padding: var(--sp-3) var(--sp-4) var(--sp-3);
    background: var(--surface);
    z-index: 10;
}

.expr-row {
    display: flex;
    align-items: flex-start;
    gap: var(--sp-2);
}

/* ---- 分段控件（记法 / 视图切换共用） ---- */
.mode-switch,
.view-switch {
    display: inline-flex;
    flex: 0 0 auto;
    padding: 2px;
    border: 1px solid var(--line-2);
    border-radius: var(--r-sm);
    background: var(--surface-3);
}

.seg {
    border: none;
    background: transparent;
    border-radius: var(--r-xs);
    padding: 5px 11px;
    font-family: inherit;
    font-size: var(--fs-xs);
    color: var(--ink-3);
    cursor: pointer;
    white-space: nowrap;
    transition: background-color var(--t-fast), color var(--t-fast), box-shadow var(--t-fast);
}

.seg:hover { color: var(--brand); }

.seg.is-active {
    background: var(--surface);
    color: var(--brand-2);
    box-shadow: var(--sh-1);
}

.expr-field {
    flex: 1 1 auto;
    min-width: 0;
}

#ReversePol {
    width: 100%;
    height: 46px;
    resize: none;
    font-size: var(--fs-md);
    line-height: 1.55;
}

.btn-parse {
    flex: 0 0 auto;
    height: 46px;
    padding: 0 var(--sp-5);
    font-size: var(--fs-md);
    border-radius: var(--r-sm);
}

/* ---- 内联错误 ---- */
.inline-error {
    margin-top: var(--sp-2);
    padding: var(--sp-2) var(--sp-3);
    border: 1px solid var(--bow-line);
    border-left: 3px solid var(--bow);
    border-radius: var(--r-sm);
    background: var(--bow-soft);
    color: var(--bow-2);
    font-size: var(--fs-xs);
    line-height: var(--lh-normal);
}

.inline-error .ie-msg { font-weight: 500; }

.inline-error pre {
    margin: var(--sp-1) 0 0;
    padding: var(--sp-1) var(--sp-2);
    background: rgba(255, 255, 255, .72);
    border-radius: var(--r-xs);
    font-family: var(--mono);
    font-size: var(--fs-xs);
    line-height: 1.35;
    color: var(--bow-2);
    white-space: pre;
    overflow-x: auto;
}

#ReversePol.is-invalid {
    border-color: var(--bow);
    box-shadow: 0 0 0 3px rgba(122, 58, 78, .12);
}

/* ===========================================================================
 * 6 工具栏第 2 行
 * ========================================================================*/
.tool-row {
    display: flex;
    align-items: center;
    gap: var(--sp-2);
    flex-wrap: wrap;
    margin-top: var(--sp-3);
    padding-top: var(--sp-3);
    border-top: 1px solid var(--line);
}

.tool-group {
    display: inline-flex;
    align-items: center;
    gap: 6px;
}

.tool-label {
    font-size: var(--fs-xs);
    color: var(--ink-4);
    white-space: nowrap;
}

.tool-sep {
    width: 1px;
    height: 18px;
    background: var(--line-2);
    flex: 0 0 auto;
}

.samples {
    display: inline-flex;
    align-items: center;
    gap: 6px;
    flex-wrap: wrap;
    margin-left: auto;
}

.samples-label {
    font-size: var(--fs-xs);
    color: var(--ink-4);
}

.chip {
    border: 1px solid var(--line-2);
    background: var(--surface);
    border-radius: var(--r-pill);
    padding: 4px 11px;
    font-family: var(--mono);
    font-size: var(--fs-xs);
    color: var(--ink-3);
    cursor: pointer;
    white-space: nowrap;
    transition: border-color var(--t-fast), color var(--t-fast),
        background-color var(--t-fast), box-shadow var(--t-fast);
}

.chip:hover {
    border-color: var(--brand-line);
    color: var(--brand-2);
    background: var(--brand-soft);
    box-shadow: var(--sh-1);
}

.chip-add {
    border-style: dashed;
    color: var(--ink-2);
}

.chip-add:hover {
    border-color: var(--bow-line);
    color: var(--bow-2);
    background: var(--bow-soft);
}

/* ===========================================================================
 * 7 画布 / 拖拽条 / 状态栏
 * 这三个沿用绝对定位 —— 它们的 left/top/right/width 会被 JS 直接改写，
 * 是平移、缩放、面板拖拽与折叠的计算基准，不能换成 Flex。
 * ========================================================================*/
.main-container {
    position: absolute;
    top: 0;
    left: var(--gap);
    right: calc(var(--panel-w) + 6px);
    bottom: var(--status-h);
    overflow: hidden;
    border: 1px solid var(--line-2);
    border-radius: var(--r-md);
    background: var(--surface);
    box-shadow: var(--sh-1);
}

.left-container {
    position: absolute;
    left: 0;
    top: 0;
    width: var(--gap);
    height: 100%;
    overflow: hidden;
    background: var(--paper);
    z-index: 10;
}

#paper-container { position: absolute; }

#app-resize {
    position: absolute;
    top: 0;
    width: 6px;
    right: var(--panel-w);
    bottom: var(--status-h);
    background-color: transparent;
    cursor: ew-resize;
    z-index: 12;
    transition: background-color var(--t-fast);
}

#app-resize:hover { background-color: var(--brand-line); }

#app-resize .resize-handle {
    position: absolute;
    left: -36px;
    top: var(--sp-2);
    width: 30px;
    height: 30px;
    background-image: url(assets/box-arrow-in-right.svg);
    background-size: 100%;
    background-repeat: no-repeat;
    border-radius: var(--r-sm);
    cursor: pointer;
    opacity: .42;
    transition: opacity var(--t-fast), background-color var(--t-fast);
}

#app-resize .resize-handle:hover {
    opacity: 1;
    background-color: var(--surface-3);
}

.bottom-container {
    position: absolute;
    left: 0;
    right: 0;
    bottom: 0;
    display: flex;
    align-items: center;
    gap: var(--sp-3);
    height: var(--status-h);
    padding: 0 var(--sp-4);
    background: var(--surface);
    border-top: 1px solid var(--line);
    z-index: 10;
    overflow: hidden;
}

/* ---- 量词前缀条：浮在画布左上角，不拦截鼠标 ---- */
.quant-prefix {
    position: absolute;
    top: var(--sp-3);
    left: var(--sp-3);
    display: flex;
    align-items: center;
    gap: 6px;
    flex-wrap: wrap;
    pointer-events: none;
    z-index: 5;
    max-width: calc(100% - 110px);
}

.qp-label {
    font-size: var(--fs-xs);
    color: var(--ink-4);
}

.qp-empty {
    font-size: var(--fs-xs);
    color: var(--ink-4);
    opacity: .9;
}

.qp-item {
    display: inline-flex;
    align-items: center;
    gap: 3px;
    padding: 3px 10px;
    border-radius: var(--r-pill);
    font-family: var(--mono);
    font-size: var(--fs-xs);
    border: 1px solid transparent;
    background: var(--surface);
    box-shadow: var(--sh-1);
}

.qp-item i {
    font-style: normal;
    font-size: var(--fs-md);
    line-height: 1;
}

.qp-exists {
    border-color: var(--sage-line);
    background: var(--sage-soft);
    color: var(--sage);
}

.qp-forall {
    border-color: var(--bow-line);
    background: var(--bow-soft);
    color: var(--bow-2);
}

/* ---- 空画布引导 ---- */
.canvas-hint {
    position: absolute;
    left: 50%;
    top: 50%;
    transform: translate(-50%, -50%);
    max-width: 340px;
    padding: var(--sp-3) var(--sp-4);
    border: 1px dashed var(--line-3);
    border-radius: var(--r-md);
    background: var(--surface-2);
    color: var(--ink-4);
    font-size: var(--fs-xs);
    line-height: var(--lh-loose);
    text-align: center;
    pointer-events: none;
    z-index: 4;
}

.canvas-hint[hidden] { display: none; }

/* ===========================================================================
 * 8 右侧面板（标签页 + 卡片）
 * ========================================================================*/
.right-container {
    position: absolute;
    top: 0;
    right: 0;
    width: var(--panel-w);
    bottom: var(--status-h);
    overflow: hidden;
    display: flex;
    flex-direction: column;
    background: var(--paper-2);
    border-left: 1px solid var(--line);
}

.tabs {
    flex: 0 0 auto;
    display: flex;
    gap: var(--sp-1);
    padding: var(--sp-2) var(--sp-3) 0;
    background: var(--paper-2);
    border-bottom: 1px solid var(--line);
}

.tab {
    flex: 1 1 0;
    min-width: 0;
    position: relative;
    border: none;
    border-radius: var(--r-sm) var(--r-sm) 0 0;
    background: transparent;
    padding: var(--sp-2) var(--sp-1) calc(var(--sp-2) - 1px);
    font-family: inherit;
    font-size: var(--fs-xs);
    color: var(--ink-3);
    cursor: pointer;
    white-space: nowrap;
    transition: background-color var(--t-fast), color var(--t-fast);
}

.tab:hover {
    color: var(--brand);
    background: rgba(255, 255, 255, .6);
}

.tab.is-active {
    background: var(--surface);
    color: var(--brand-2);
    border: 1px solid var(--line);
    border-bottom-color: var(--surface);
    margin-bottom: -1px;
    padding-bottom: var(--sp-2);
}

/* 选中态再压一条酒红短线，层级更清楚 */
.tab.is-active::after {
    content: "";
    position: absolute;
    left: 50%;
    bottom: 0;
    transform: translateX(-50%);
    width: 18px;
    height: 2px;
    border-radius: var(--r-pill);
    background: var(--bow);
}

.tab-panel {
    flex: 1 1 auto;
    min-height: 0;
    overflow: auto;
    padding: var(--sp-3);
    background: var(--paper-2);
}

.tab-panel[hidden] { display: none; }

.panel-row {
    display: flex;
    gap: var(--sp-2);
    margin: 0 0 var(--sp-2);
}

.panel-row .btn { flex: 1 1 0; min-width: 0; }

.panel-subtitle {
    display: flex;
    align-items: center;
    gap: 6px;
    margin: var(--sp-4) 0 6px;
    font-size: var(--fs-xs);
    color: var(--ink-2);
    letter-spacing: .04em;
}

.panel-subtitle::before {
    content: "";
    flex: 0 0 auto;
    width: 3px;
    height: 12px;
    border-radius: var(--r-pill);
    background: var(--blush);
}

.panel-subtitle:first-child { margin-top: 0; }

/* ===========================================================================
 * 9 表单控件
 * ========================================================================*/
.input {
    width: 100%;
    padding: var(--sp-2) 10px;
    border: 1px solid var(--line-2);
    border-radius: var(--r-sm);
    background: var(--surface);
    color: var(--ink-1);
    font-size: var(--fs-sm);
    font-family: inherit;
    outline: none;
    transition: border-color var(--t-fast), box-shadow var(--t-fast);
    resize: vertical;
}

.input::placeholder { color: var(--ink-5); }

.input:hover { border-color: var(--line-3); }

.input:focus {
    border-color: var(--brand);
    box-shadow: var(--ring);
}

.input.mono {
    font-family: var(--mono);
    font-size: var(--fs-xs);
    line-height: 1.6;
}

.model-box { height: 190px; }

.field-label {
    display: block;
    font-size: var(--fs-xs);
    color: var(--ink-3);
    margin: var(--sp-3) 0 var(--sp-1);
}

.hint {
    margin: 6px 0 0;
    font-size: var(--fs-xs);
    color: var(--ink-4);
    line-height: var(--lh-loose);
}

/* ---- 操作符速查表 ---- */
.ops-list {
    display: flex;
    flex-wrap: wrap;
    gap: 6px;
    margin: 0 0 var(--sp-2);
    padding: 0;
    list-style: none;
}

.ops-list li {
    display: flex;
    align-items: center;
    gap: 5px;
    padding: 3px 10px;
    border: 1px solid var(--line-2);
    border-radius: var(--r-pill);
    background: var(--surface);
    font-size: var(--fs-xs);
    color: var(--ink-3);
    white-space: nowrap;
}

.ops-list li.is-new {
    border-color: var(--blush);
    background: var(--blush-soft);
    color: var(--bow);
}

.ops-list code {
    font-family: var(--mono);
    font-size: var(--fs-sm);
    color: var(--ink-1);
}

.ops-list li.is-new code { color: var(--bow-2); }

.ops-hint {
    margin: 0 0 var(--sp-2);
    font-size: var(--fs-xs);
    color: var(--ink-3);
    line-height: var(--lh-loose);
}

.ops-hint code,
.legend code {
    font-family: var(--mono);
    font-size: var(--fs-xs);
    background: var(--surface-3);
    border: 1px solid var(--line);
    border-radius: var(--r-xs);
    padding: 0 5px;
    color: var(--ink-2);
}

/* ===========================================================================
 * 10 按钮
 * ========================================================================*/
.btn {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    gap: 6px;
    padding: var(--sp-2) var(--sp-3);
    border: 1px solid transparent;
    border-radius: var(--r-sm);
    font-size: var(--fs-sm);
    font-family: inherit;
    line-height: 1.25;
    cursor: pointer;
    white-space: nowrap;
    transition: background-color var(--t-fast), border-color var(--t-fast),
        color var(--t-fast), box-shadow var(--t-fast), transform var(--t-fast);
}

.btn:active { transform: translateY(1px); }

.btn-block { width: 100%; }

/* 主行动：藏青 */
.btn-primary {
    background: var(--brand);
    border-color: var(--brand);
    color: #fff;
    box-shadow: 0 1px 2px rgba(62, 62, 104, .25);
}

.btn-primary:hover {
    background: var(--brand-2);
    border-color: var(--brand-2);
    box-shadow: 0 3px 10px rgba(62, 62, 104, .28);
}

/* 次级：中性描边 */
.btn-soft {
    background: var(--surface);
    border-color: var(--line-2);
    color: var(--ink-3);
}

.btn-soft:hover {
    border-color: var(--brand-line);
    color: var(--brand-2);
    background: var(--brand-soft);
}

/* 危险：酒红（仅用于破坏性操作） */
.btn-danger {
    margin-top: var(--sp-3);
    background: var(--surface);
    border-color: var(--bow-line);
    color: var(--bow);
}

.btn-danger:hover {
    background: var(--bow-soft);
    border-color: var(--bow);
}

/* 「导入文件」：绝对定位的透明 file input 铺满按钮区（沿用原实现） */
.file-btn {
    position: relative;
    overflow: hidden;
    flex: 1 1 0;
    min-width: 0;
    display: inline-flex;
    align-items: center;
    justify-content: center;
    gap: 6px;
    padding: var(--sp-2) var(--sp-3);
    border: 1px solid var(--line-2);
    border-radius: var(--r-sm);
    background: var(--surface);
    color: var(--ink-3);
    font-size: var(--fs-sm);
    cursor: pointer;
    white-space: nowrap;
    transition: border-color var(--t-fast), color var(--t-fast), background-color var(--t-fast);
}

.file-btn:hover {
    border-color: var(--brand-line);
    color: var(--brand-2);
    background: var(--brand-soft);
}

.file-btn input[type="file"] {
    position: absolute;
    top: 0;
    right: 0;
    margin: 0;
    padding: 0;
    font-size: 40px;
    cursor: pointer;
    opacity: 0;
    filter: alpha(opacity=0);
}

/* ===========================================================================
 * 11 提示块
 * ========================================================================*/
.note {
    margin-top: var(--sp-3);
    padding: var(--sp-3);
    border: 1px solid var(--line);
    border-radius: var(--r-md);
    background: var(--surface);
    font-size: var(--fs-xs);
    line-height: var(--lh-loose);
    color: var(--ink-3);
    box-shadow: var(--sh-1);
}

.note b {
    color: var(--ink-1);
    font-weight: 500;
}

.note ul {
    margin: 6px 0 0;
    padding-left: var(--sp-4);
}

.note li { margin-bottom: 3px; }

.note-info { border-left: 3px solid var(--brand); }
.note-tip { border-left: 3px solid var(--blush); }

.panel-credit a,
.note a {
    color: var(--brand);
    text-decoration: none;
    border-bottom: 1px solid var(--brand-line);
    transition: border-color var(--t-fast), color var(--t-fast);
}

.panel-credit a:hover,
.note a:hover {
    color: var(--brand-2);
    border-bottom-color: var(--brand-2);
}

/* ===========================================================================
 * 12 真值表
 * ========================================================================*/
.truth-wrap {
    margin-top: var(--sp-2);
    border: 1px solid var(--line);
    border-radius: var(--r-md);
    background: var(--surface);
    overflow: auto;
    max-height: calc(100vh - 320px);
    box-shadow: var(--sh-1);
}

.truth-wrap:empty { display: none; }

.truth-table {
    border-collapse: collapse;
    width: 100%;
    font-family: var(--mono);
    font-size: var(--fs-xs);
}

.truth-table th,
.truth-table td {
    padding: 4px 10px;
    text-align: center;
    border-bottom: 1px solid var(--line);
    border-right: 1px solid var(--line);
    white-space: nowrap;
}

.truth-table th:last-child,
.truth-table td:last-child { border-right: none; }

.truth-table tbody tr:last-child td { border-bottom: none; }

.truth-table thead th {
    position: sticky;
    top: 0;
    z-index: 1;
    background: var(--surface-3);
    color: var(--ink-2);
    font-weight: 400;
    letter-spacing: .04em;
}

/* 结果列：用酒红细底线点出，避免整列都是重色 */
.truth-table thead th.is-out {
    background: var(--mauve-soft);
    color: var(--bow-2);
    box-shadow: inset 0 -2px 0 var(--blush);
}

.truth-table tbody tr:nth-child(even) { background: var(--surface-2); }
.truth-table tbody tr:hover { background: var(--brand-soft); }

/* 输出为 1 的行：奶油苔绿（实测参考图里唯一的绿） */
.truth-table tbody tr.is-true { background: var(--sage-soft); }
.truth-table tbody tr.is-true:hover { background: #DBE1CD; }

.truth-table td.is-out-1 {
    color: var(--sage);
    font-weight: 500;
}

.truth-table td.is-out-0 { color: var(--ink-4); }

.truth-table td.is-var-1 { color: var(--ink-1); }
.truth-table td.is-var-0 { color: var(--ink-4); }

/* ===========================================================================
 * 13 状态栏
 * ========================================================================*/
#status {
    flex: 1 1 auto;
    min-width: 0;
    font-size: var(--fs-xs);
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
}

.status-ok { color: var(--sage); }
.status-error { color: var(--bow); }
.status-info { color: var(--ink-3); }

.stats {
    flex: 0 0 auto;
    font-size: var(--fs-xs);
    color: var(--ink-3);
    font-family: var(--mono);
    padding-left: var(--sp-3);
    border-left: 1px solid var(--line);
}

/* ===========================================================================
 * 14 图例
 * ========================================================================*/
.legend {
    margin: 0;
    padding: 0;
    list-style: none;
    font-size: var(--fs-xs);
    color: var(--ink-3);
    line-height: var(--lh-loose);
}

.legend li {
    display: flex;
    align-items: center;
    gap: var(--sp-2);
    padding: 3px 0;
}

.legend i {
    flex: 0 0 auto;
    width: 14px;
    height: 14px;
    border-radius: var(--r-xs);
    border: 1px solid rgba(42, 31, 46, .14);
}

.legend.plain li {
    display: block;
    padding: 2px 0;
}

.lg-import { background: var(--node-var); }
.lg-zero { background: var(--node-zero); }
.lg-one { background: var(--node-one); }
.lg-export { background: var(--node-out); }

/* 与门 D 形 / 或门月牙形 / 非门三角：直接用 clip-path 画，和画布上的符号呼应 */
.lg-and {
    background: var(--brand-soft);
    border-color: var(--brand-line) !important;
    border-radius: 2px 7px 7px 2px !important;
}

.lg-or {
    background: var(--mauve-soft);
    border-color: var(--mauve) !important;
    border-radius: 2px 8px 8px 2px !important;
}

.lg-not {
    background: var(--blush-soft);
    border-color: var(--blush) !important;
    border-radius: 2px !important;
    clip-path: polygon(0 0, 72% 50%, 0 100%);
}

/* ===========================================================================
 * 15 响应式
 * ========================================================================*/

/* 中屏：右侧面板收窄。⚠️ 不要改 --minimap-w，它必须与 JS 里的 300 一致 */
@media (max-width: 1280px) {
    :root { --panel-w: 286px; }
    .samples { margin-left: 0; }
    .ops-hint { display: none; }
}

/* 窄屏：画布在上、面板在下；隐藏小地图与拖拽条。
   三个条件必须同时成立，否则画布尺寸计算会错乱：
     1. .main-container 用 !important 覆盖 JS 写的行内 right
     2. .right-container 用 !important 覆盖 JS 写的行内 width
     3. app.ResizeBlock() 在窄屏直接 return（见 ViewGen.js） */
@media (max-width: 900px) {
    :root {
        --status-h: 38px;
        --gap: 6px;
        --sp-4: 14px;
    }

    .app-header {
        flex-direction: column;
        max-height: 46vh;
        overflow: auto;
    }

    .mini-map { display: none; }
    .title-container { padding: var(--sp-2) var(--sp-3); }
    .left-container { display: none; }

    .expr-row { flex-wrap: wrap; }
    .expr-field { flex: 1 1 100%; order: 2; }
    .mode-switch { order: 1; }
    .btn-parse {
        order: 3;
        flex: 1 1 100%;
        height: 38px;
        margin-top: 6px;
    }

    .main-container {
        left: var(--gap);
        right: var(--gap) !important;
        bottom: auto !important;
        height: 55%;
        top: 0;
    }

    #app-resize { display: none !important; }

    .right-container {
        left: 0 !important;
        right: 0 !important;
        width: auto !important;
        top: 57% !important;
        bottom: var(--status-h) !important;
        border-left: none;
        border-top: 1px solid var(--line);
    }

    .quant-prefix {
        max-width: calc(100% - 24px);
        top: var(--sp-2);
        left: var(--sp-2);
    }

    .truth-wrap { max-height: none; }
    .model-box { height: 140px; }
}

/* 超窄屏 */
@media (max-width: 560px) {
    .samples-label,
    .tool-label,
    .tool-sep { display: none; }

    .tool-row { gap: 6px; }
    .main-container { height: 48%; }
    .right-container { top: 50% !important; }
    .tabs { padding-left: var(--sp-2); padding-right: var(--sp-2); }
    .tab { font-size: var(--fs-2xs); }
}

/* 尊重系统「减少动态效果」偏好 */
@media (prefers-reduced-motion: reduce) {
    * {
        transition: none !important;
        animation: none !important;
    }
}