@charset "UTF-8";
/* ============================================================
   推理之径 Logic Atlas — 设计系统
   视觉语言：方格纸 · 节点连线 · 真值二元色 · 等宽符号
   ============================================================ */

:root{
  /* —— 纸与墨 —— */
  --paper:#F5F6F9;
  --card:#FFFFFF;
  --card-2:#FBFCFD;
  --ink:#0E172A;
  --ink-2:#38445C;
  --ink-3:#6B7689;
  --ink-4:#9AA3B2;

  /* —— 主色：靛蓝 → 青（理性、结构） —— */
  --pri:#2F5BEA;
  --pri-d:#1E3FA8;
  --pri-l:#EEF3FF;
  --cy:#0EA5A4;
  --cy-l:#E6FAF9;

  /* —— 真值二元色 —— */
  --t:#0E9F6E;      /* 真 / 有效 */
  --t-l:#E8F7F0;
  --f:#D93025;      /* 假 / 谬误 */
  --f-l:#FDECEA;
  --u:#B07D12;      /* 不定 / 待定 */
  --u-l:#FDF5E3;

  /* —— 辅助 —— */
  --amber:#D97706;
  --violet:#6D4AFF;
  --line:#E4E8F0;
  --line-2:#EEF1F6;
  --shadow-s:0 1px 2px rgba(14,23,42,.06),0 1px 3px rgba(14,23,42,.04);
  --shadow-m:0 2px 6px rgba(14,23,42,.06),0 8px 24px rgba(14,23,42,.06);
  --shadow-l:0 8px 32px rgba(14,23,42,.10);
  --r-s:8px; --r-m:12px; --r-l:18px; --r-xl:24px;
  --mono:"SFMono-Regular",Consolas,"JetBrains Mono","Liberation Mono",Menlo,monospace;
  --sans:-apple-system,BlinkMacSystemFont,"Segoe UI","PingFang SC","Hiragino Sans GB","Microsoft YaHei","Source Han Sans SC",sans-serif;
  --nav-h:60px;
  --maxw:1180px;
}
/* 暗色（可切换） */
html[data-theme="dark"]{
  --paper:#0B1020; --card:#141B2E; --card-2:#111827;
  --ink:#EAEFF8; --ink-2:#C3CCDD; --ink-3:#8C98AE; --ink-4:#66708583;
  --pri:#6C8CFF; --pri-d:#8FA6FF; --pri-l:#1B2545;
  --cy:#2DD4BF; --cy-l:#12332F;
  --t:#34D399; --t-l:#0F2E24;
  --f:#F87171; --f-l:#33191A;
  --u:#FBBF24; --u-l:#33280E;
  --line:#26314C; --line-2:#1C2439;
  --shadow-s:0 1px 2px rgba(0,0,0,.4);
  --shadow-m:0 4px 16px rgba(0,0,0,.45);
  --shadow-l:0 12px 40px rgba(0,0,0,.55);
}

*{box-sizing:border-box;-webkit-tap-highlight-color:transparent}
html,body{margin:0;padding:0}
html{scroll-behavior:smooth}
body{
  font-family:var(--sans);
  background:var(--paper);
  color:var(--ink);
  font-size:15px;line-height:1.72;
  -webkit-font-smoothing:antialiased;
  /* 方格纸底纹 */
  background-image:
    linear-gradient(rgba(47,91,234,.045) 1px,transparent 1px),
    linear-gradient(90deg,rgba(47,91,234,.045) 1px,transparent 1px);
  background-size:32px 32px,32px 32px;
  overflow-x:hidden;
}
html[data-theme="dark"] body{
  background-image:
    linear-gradient(rgba(108,140,255,.05) 1px,transparent 1px),
    linear-gradient(90deg,rgba(108,140,255,.05) 1px,transparent 1px);
}
img{max-width:100%}
a{color:var(--pri);text-decoration:none}
a:hover{text-decoration:underline}
button,input,select,textarea{font-family:inherit;font-size:inherit;color:inherit}
::selection{background:var(--pri);color:#fff}

/* ============ 布局 ============ */
.wrap{max-width:var(--maxw);margin:0 auto;padding:0 20px}
.wrap-n{max-width:920px;margin:0 auto;padding:0 20px}
.row{display:flex;gap:14px;align-items:center}
.row-w{display:flex;gap:14px;align-items:center;flex-wrap:wrap}
.spread{display:flex;justify-content:space-between;align-items:center;gap:14px;flex-wrap:wrap}
.grid{display:grid;gap:16px}
.g2{grid-template-columns:repeat(2,1fr)}
.g3{grid-template-columns:repeat(3,1fr)}
.g4{grid-template-columns:repeat(4,1fr)}
.hide{display:none !important}

/* ============ 导航 ============ */
.nav{
  position:sticky;top:0;z-index:60;height:var(--nav-h);
  background:rgba(255,255,255,.86);
  backdrop-filter:saturate(160%) blur(12px);
  -webkit-backdrop-filter:saturate(160%) blur(12px);
  border-bottom:1px solid var(--line);
}
html[data-theme="dark"] .nav{background:rgba(11,16,32,.88)}
.nav-in{max-width:var(--maxw);margin:0 auto;height:100%;padding:0 20px;display:flex;align-items:center;gap:10px}
.brand{display:flex;align-items:center;gap:10px;font-weight:800;font-size:16.5px;color:var(--ink);text-decoration:none;letter-spacing:.2px;flex-shrink:0}
.brand:hover{text-decoration:none}
.brand .mark{width:30px;height:30px;display:block}
.brand small{display:block;font-size:10px;font-weight:600;color:var(--ink-3);letter-spacing:2.5px;line-height:1;margin-top:-2px}
.nav-links{display:flex;gap:2px;margin-left:8px;overflow-x:auto;scrollbar-width:none;flex:1}
.nav-links::-webkit-scrollbar{display:none}
.nav-links a{
  padding:7px 11px;border-radius:var(--r-s);font-size:13.5px;font-weight:600;
  color:var(--ink-2);white-space:nowrap;transition:.16s;text-decoration:none
}
.nav-links a:hover{background:var(--line-2);color:var(--ink)}
.nav-links a.on{background:var(--pri);color:#fff}
html[data-theme="dark"] .nav-links a.on{color:#0B1020}
.nav-tools{display:flex;gap:6px;align-items:center;flex-shrink:0}
.iconbtn{
  width:34px;height:34px;border:1px solid var(--line);background:var(--card);
  border-radius:var(--r-s);cursor:pointer;display:grid;place-items:center;
  color:var(--ink-2);transition:.16s;padding:0
}
.iconbtn:hover{border-color:var(--pri);color:var(--pri)}
.burger{display:none}
@media(max-width:1080px){
  .nav-links{display:none}
  .nav-links.open{
    display:flex;position:fixed;top:var(--nav-h);left:0;right:0;
    flex-direction:column;background:var(--card);padding:10px;
    border-bottom:1px solid var(--line);box-shadow:var(--shadow-m);
    max-height:calc(100vh - var(--nav-h));overflow-y:auto
  }
  .nav-links.open a{padding:11px 14px;font-size:15px}
  .burger{display:grid}
}

/* ============ 页头 ============ */
.hero{padding:44px 0 30px;position:relative;overflow:hidden}
.hero::before{
  content:"";position:absolute;inset:0;z-index:-1;
  background:radial-gradient(900px 380px at 18% -10%,rgba(47,91,234,.13),transparent 60%),
             radial-gradient(700px 340px at 88% 10%,rgba(14,165,164,.12),transparent 60%);
}
.eyebrow{
  display:inline-flex;align-items:center;gap:7px;font-size:11.5px;font-weight:800;
  letter-spacing:2.2px;color:var(--pri);background:var(--pri-l);
  padding:5px 12px;border-radius:99px;margin-bottom:14px;text-transform:uppercase
}
h1.pg{font-size:clamp(26px,4.6vw,40px);line-height:1.24;margin:0 0 12px;font-weight:850;letter-spacing:-.5px}
h1.pg em{font-style:normal;background:linear-gradient(100deg,var(--pri),var(--cy));-webkit-background-clip:text;background-clip:text;color:transparent}
.lede{font-size:16px;color:var(--ink-2);max-width:760px;margin:0}
.lede b{color:var(--ink)}

/* ============ 卡片 ============ */
.card{
  background:var(--card);border:1px solid var(--line);border-radius:var(--r-l);
  padding:20px;box-shadow:var(--shadow-s);transition:.2s
}
.card.hov:hover{transform:translateY(-3px);box-shadow:var(--shadow-m);border-color:var(--pri)}
.card.tight{padding:16px}
.card.flush{padding:0;overflow:hidden}
.card h3{margin:0 0 8px;font-size:16.5px;font-weight:750}
.card p{margin:0;color:var(--ink-2);font-size:14px}
.sec-head{display:flex;align-items:flex-end;justify-content:space-between;gap:16px;margin:44px 0 18px;flex-wrap:wrap}
.sec-head h2{margin:0;font-size:22px;font-weight:800;letter-spacing:-.3px;display:flex;align-items:center;gap:9px}
.sec-head h2::before{content:"";width:5px;height:20px;border-radius:3px;background:linear-gradient(var(--pri),var(--cy))}
.sec-head .sub{color:var(--ink-3);font-size:13.5px;margin:4px 0 0}

/* ============ 按钮 ============ */
.btn{
  display:inline-flex;align-items:center;justify-content:center;gap:7px;
  padding:9px 16px;border-radius:var(--r-s);border:1px solid var(--line);
  background:var(--card);color:var(--ink);font-weight:650;font-size:14px;
  cursor:pointer;transition:.16s;text-decoration:none;white-space:nowrap
}
.btn:hover{border-color:var(--pri);color:var(--pri);text-decoration:none}
.btn.pri{background:var(--pri);border-color:var(--pri);color:#fff}
.btn.pri:hover{background:var(--pri-d);color:#fff}
.btn.cy{background:var(--cy);border-color:var(--cy);color:#fff}
.btn.cy:hover{filter:brightness(.94);color:#fff}
.btn.gh{background:transparent;border-color:var(--line)}
.btn.sm{padding:6px 11px;font-size:13px;border-radius:7px}
.btn.lg{padding:13px 26px;font-size:15.5px;border-radius:10px}
.btn:disabled{opacity:.45;cursor:not-allowed}
.btn.active{background:var(--pri);border-color:var(--pri);color:#fff}

/* ============ 徽标 / 标签 ============ */
.tag{
  display:inline-flex;align-items:center;gap:5px;padding:3px 9px;border-radius:6px;
  font-size:11.5px;font-weight:700;background:var(--line-2);color:var(--ink-2);line-height:1.5
}
.tag.pri{background:var(--pri-l);color:var(--pri)}
.tag.cy{background:var(--cy-l);color:#0B7C77}
html[data-theme="dark"] .tag.cy{color:var(--cy)}
.tag.t{background:var(--t-l);color:var(--t)}
.tag.f{background:var(--f-l);color:var(--f)}
.tag.u{background:var(--u-l);color:var(--u)}
.tag.v{background:#F0ECFF;color:var(--violet)}
html[data-theme="dark"] .tag.v{background:#241C4A}
.tag.am{background:#FEF3E2;color:var(--amber)}
html[data-theme="dark"] .tag.am{background:#33240D}

/* ============ 逻辑符号 ============ */
.sym{font-family:var(--mono);font-size:1.06em;font-weight:600}
.formula{
  font-family:var(--mono);background:var(--card-2);border:1px solid var(--line);
  border-radius:var(--r-s);padding:9px 13px;display:inline-block;font-size:14px;
  letter-spacing:.3px;color:var(--ink)
}
.formula.big{font-size:17px;padding:12px 18px}
.kbd{font-family:var(--mono);font-size:12px;background:var(--line-2);border:1px solid var(--line);
     border-bottom-width:2px;border-radius:5px;padding:2px 6px;color:var(--ink-2)}

/* ============ 真值表 ============ */
.tbl-wrap{overflow-x:auto;border:1px solid var(--line);border-radius:var(--r-m);background:var(--card)}
table.tt{border-collapse:collapse;width:100%;font-size:13.5px;min-width:300px}
table.tt th,table.tt td{border:1px solid var(--line);padding:8px 10px;text-align:center}
table.tt th{background:var(--card-2);font-weight:750;font-size:12.5px;color:var(--ink-2);white-space:nowrap}
table.tt td{font-family:var(--mono);font-size:13px}
table.tt td.T{color:var(--t);font-weight:800;background:var(--t-l)}
table.tt td.F{color:var(--f);font-weight:800;background:var(--f-l)}
table.tt td.lit{background:var(--pri-l);font-weight:700}
table.tt tr:hover td{background:var(--line-2)}
table.tt tr:hover td.T{background:var(--t-l)}
table.tt tr:hover td.F{background:var(--f-l)}
table.plain{border-collapse:collapse;width:100%;font-size:14px}
table.plain th,table.plain td{border-bottom:1px solid var(--line);padding:10px 12px;text-align:left;vertical-align:top}
table.plain th{color:var(--ink-2);font-size:12.5px;font-weight:750;background:var(--card-2)}
table.plain td{color:var(--ink-2)}
table.plain tr:last-child td{border-bottom:none}

/* ============ 手风琴 ============ */
.acc{border:1px solid var(--line);border-radius:var(--r-m);overflow:hidden;background:var(--card)}
.acc + .acc{margin-top:10px}
.acc-h{
  display:flex;align-items:center;gap:10px;padding:14px 16px;cursor:pointer;
  font-weight:700;font-size:14.5px;user-select:none;transition:.15s
}
.acc-h:hover{background:var(--card-2)}
.acc-h .arw{margin-left:auto;transition:transform .22s;color:var(--ink-3);flex-shrink:0}
.acc.open .acc-h .arw{transform:rotate(90deg)}
.acc-b{display:none;padding:0 16px 16px;font-size:14px;color:var(--ink-2);border-top:1px solid var(--line-2);padding-top:14px}
.acc.open .acc-b{display:block}

/* ============ 输入 ============ */
.inp,select.inp,textarea.inp{
  width:100%;padding:10px 13px;border:1px solid var(--line);border-radius:var(--r-s);
  background:var(--card);font-size:14.5px;outline:none;transition:.15s
}
.inp:focus{border-color:var(--pri);box-shadow:0 0 0 3px var(--pri-l)}
html[data-theme="dark"] .inp:focus{box-shadow:0 0 0 3px rgba(108,140,255,.22)}
textarea.inp{resize:vertical;min-height:80px;line-height:1.6}
.inp.mono{font-family:var(--mono);letter-spacing:.5px}
label.fl{display:block;font-size:12.5px;font-weight:700;color:var(--ink-3);margin-bottom:6px;letter-spacing:.3px}

/* ============ 提示条 ============ */
.note{
  border-left:3px solid var(--pri);background:var(--pri-l);padding:12px 15px;
  border-radius:0 var(--r-s) var(--r-s) 0;font-size:13.8px;color:var(--ink-2);margin:14px 0
}
.note.t{border-color:var(--t);background:var(--t-l)}
.note.f{border-color:var(--f);background:var(--f-l)}
.note.u{border-color:var(--u);background:var(--u-l)}
.note b{color:var(--ink)}

/* ============ 统计条 ============ */
.stats{display:grid;grid-template-columns:repeat(4,1fr);gap:12px;margin:20px 0}
.stat{background:var(--card);border:1px solid var(--line);border-radius:var(--r-m);padding:14px;text-align:center}
.stat b{display:block;font-size:24px;font-weight:850;letter-spacing:-.5px;line-height:1.2;
        background:linear-gradient(100deg,var(--pri),var(--cy));-webkit-background-clip:text;background-clip:text;color:transparent}
.stat span{font-size:12px;color:var(--ink-3);font-weight:600}
@media(max-width:640px){.stats{grid-template-columns:repeat(2,1fr)}}

/* ============ 步骤条 / 流程 ============ */
.steps{display:flex;gap:0;flex-wrap:wrap;margin:16px 0}
.step{flex:1;min-width:150px;position:relative;padding:0 8px}
.step .n{
  width:26px;height:26px;border-radius:50%;background:var(--pri);color:#fff;
  display:grid;place-items:center;font-size:12.5px;font-weight:800;margin-bottom:8px
}
.step .tt{font-weight:700;font-size:14px;margin-bottom:3px}
.step .dd{font-size:13px;color:var(--ink-3);line-height:1.6}
.step:not(:last-child)::after{
  content:"";position:absolute;top:13px;right:-4px;width:calc(100% - 4px);height:2px;
  background:repeating-linear-gradient(90deg,var(--line) 0 5px,transparent 5px 10px)
}

/* ============ 页脚 ============ */
.foot{margin-top:60px;border-top:1px solid var(--line);background:var(--card);padding:34px 0 28px}
.foot .fl2{display:grid;grid-template-columns:1.6fr 1fr 1fr;gap:28px}
.foot h4{margin:0 0 10px;font-size:13px;letter-spacing:1.2px;color:var(--ink-3);text-transform:uppercase;font-weight:800}
.foot a{display:block;font-size:13.5px;color:var(--ink-2);padding:3px 0}
.foot a:hover{color:var(--pri)}
.foot .cp{margin-top:26px;padding-top:18px;border-top:1px solid var(--line-2);font-size:12.5px;color:var(--ink-4)}
@media(max-width:720px){.foot .fl2{grid-template-columns:1fr 1fr}}

/* ============ Toast ============ */
#toast{position:fixed;left:50%;bottom:26px;transform:translateX(-50%) translateY(20px);z-index:200;
  background:var(--ink);color:var(--paper);padding:11px 20px;border-radius:99px;font-size:14px;
  font-weight:600;opacity:0;pointer-events:none;transition:.26s;box-shadow:var(--shadow-l)}
#toast.on{opacity:1;transform:translateX(-50%) translateY(0)}
html[data-theme="dark"] #toast{background:var(--ink);color:#0B1020}

/* ============ 回到顶部 ============ */
#top{position:fixed;right:18px;bottom:26px;width:42px;height:42px;border-radius:50%;
  background:var(--card);border:1px solid var(--line);box-shadow:var(--shadow-m);
  display:none;place-items:center;cursor:pointer;z-index:55;color:var(--ink-2)}
#top.on{display:grid}
#top:hover{color:var(--pri);border-color:var(--pri)}

/* ============ 动画 ============ */
@keyframes pop{from{opacity:0;transform:translateY(10px)}to{opacity:1;transform:none}}
.pop{animation:pop .34s cubic-bezier(.2,.8,.3,1) both}
@keyframes dash{to{stroke-dashoffset:0}}
@keyframes pulse{0%,100%{opacity:.35}50%{opacity:1}}
@keyframes spin{to{transform:rotate(360deg)}}
.spin{animation:spin 1s linear infinite}

/* ============ 小工具 ============ */
.mono{font-family:var(--mono)}
.mut{color:var(--ink-3)}
.sm{font-size:13px}
.xs{font-size:12px}
.b{font-weight:750}
.center{text-align:center}
.mt0{margin-top:0}.mt6{margin-top:6px}.mt12{margin-top:12px}.mt20{margin-top:20px}.mt30{margin-top:30px}
.mb0{margin-bottom:0}.mb8{margin-bottom:8px}.mb14{margin-bottom:14px}.mb20{margin-bottom:20px}
.divider{height:1px;background:var(--line);margin:22px 0}
.scroll-x{overflow-x:auto;-webkit-overflow-scrolling:touch}

/* 响应式：全局栅格降级 */
@media(max-width:960px){.g4{grid-template-columns:repeat(2,1fr)}.g3{grid-template-columns:repeat(2,1fr)}}
@media(max-width:680px){
  body{font-size:14.5px}
  .g2,.g3,.g4{grid-template-columns:1fr}
  .hero{padding:30px 0 20px}
  .card{padding:16px;border-radius:var(--r-m)}
  .sec-head{margin:32px 0 14px}
  .sec-head h2{font-size:19px}
}

/* 打印 */
@media print{.nav,#top,#toast{display:none}body{background:#fff}}