/* ===== 408 OS 公共样式 ===== */
*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }
:root {
  --bg: #0d1117;
  --bg2: #161b27;
  --bg3: #1e2438;
  --card: #161b27;
  --border: rgba(99,153,222,0.13);
  --border2: rgba(99,153,222,0.28);
  --accent: #4f8ef7;
  --accent2: #a07bdf;
  --accent3: #1db87e;
  --accent4: #e8a838;
  --accent5: #e25c5c;
  --text: #e0e6f0;
  --text2: #8b9abf;
  --text3: #4a5a7a;
  --radius: 10px;
  --tr: 0.2s cubic-bezier(.4,0,.2,1);
}
html { scroll-behavior: smooth; }
body {
  font-family: 'SF Pro Text','PingFang SC','Microsoft YaHei',system-ui,sans-serif;
  background: var(--bg); color: var(--text);
  min-height: 100vh; line-height: 1.6; font-size: 14px;
}
/* HEADER */
header {
  position: sticky; top:0; z-index:200;
  background: rgba(13,17,23,0.94);
  backdrop-filter: blur(14px);
  border-bottom: 0.5px solid var(--border);
  padding: 0 24px; height: 52px;
  display: flex; align-items: center; gap: 16px;
}
.logo { font-size:17px; font-weight:700; color:var(--accent); letter-spacing:-0.3px; white-space:nowrap; }
.logo span { color:var(--text2); font-weight:400; font-size:12px; margin-left:6px; }
nav { display:flex; gap:2px; margin-left:auto; flex-wrap:wrap; }
nav a {
  color:var(--text2); font-size:12px; text-decoration:none;
  padding:4px 10px; border-radius:6px; transition:var(--tr); white-space:nowrap;
}
nav a:hover, nav a.active { color:var(--text); background:var(--bg3); }

/* HERO */
.hero {
  padding:50px 32px 36px; text-align:center;
  border-bottom:0.5px solid var(--border);
  background: radial-gradient(ellipse 70% 50% at 50% -10%, rgba(79,142,247,0.12) 0%, transparent 70%);
}
.hero h1 { font-size:34px; font-weight:700; letter-spacing:-0.5px; margin-bottom:10px; }
.hero h1 em { font-style:normal; color:var(--accent); }
.hero p { color:var(--text2); font-size:14px; max-width:540px; margin:0 auto 24px; }
.hero-pills { display:flex; flex-wrap:wrap; gap:8px; justify-content:center; }
.pill {
  padding:5px 14px; border-radius:20px; font-size:12px; cursor:pointer;
  border:0.5px solid var(--border2); color:var(--text2); transition:var(--tr);
}
.pill:hover { color:var(--text); border-color:var(--accent); background:rgba(79,142,247,0.08); }
.pill.p-active { background:var(--accent); color:#fff; border-color:var(--accent); }

/* SECTION */
.section { padding:36px 32px; border-bottom:0.5px solid var(--border); }
.section-title {
  font-size:19px; font-weight:600; margin-bottom:3px;
  display:flex; align-items:center; gap:8px;
}
.section-sub { color:var(--text2); font-size:12px; margin-bottom:20px; }

/* === KNOWLEDGE TREE === */
#ktree-wrap {
  background:var(--card);
  border:0.5px solid var(--border);
  border-radius:var(--radius);
  overflow:hidden;
  display:flex; gap:0;
}
#ktree-nav {
  width:260px; min-width:220px; flex-shrink:0;
  border-right:0.5px solid var(--border);
  overflow-y:auto; max-height:600px;
}
.tree-chapter {
  padding:10px 14px 10px 12px;
  cursor:pointer;
  font-size:13px; font-weight:600;
  display:flex; align-items:center; gap:6px;
  border-bottom:0.5px solid var(--border);
  transition:var(--tr); user-select:none;
}
.tree-chapter:hover { background:var(--bg3); }
.tree-chapter.open { color:var(--accent); }
.tree-chapter .ch-arrow {
  width:14px; height:14px; transition:transform 0.2s;
  flex-shrink:0; opacity:0.6;
}
.tree-chapter.open .ch-arrow { transform:rotate(90deg); }
.tree-topics { display:none; }
.tree-topics.show { display:block; }
.tree-topic {
  padding:6px 14px 6px 32px;
  font-size:12px; color:var(--text2);
  cursor:pointer; border-bottom:0.5px solid rgba(99,153,222,0.06);
  transition:var(--tr); display:flex; align-items:center; gap:6px;
}
.tree-topic:hover { background:rgba(79,142,247,0.06); color:var(--text); }
.tree-topic.active { color:var(--accent); background:rgba(79,142,247,0.1); }
.tree-subtopic {
  padding:5px 14px 5px 50px;
  font-size:11.5px; color:var(--text3);
  cursor:pointer; border-bottom:0.5px solid rgba(99,153,222,0.04);
  transition:var(--tr);
}
.tree-subtopic:hover { background:rgba(79,142,247,0.04); color:var(--text2); }
.tree-subtopic.active { color:var(--accent2); }
.tdot { width:6px; height:6px; border-radius:50%; flex-shrink:0; }

#ktree-detail {
  flex:1; padding:24px 28px; overflow-y:auto; max-height:600px;
}
.detail-placeholder {
  display:flex; flex-direction:column; align-items:center; justify-content:center;
  height:300px; color:var(--text3); gap:12px;
}
.detail-placeholder svg { opacity:0.3; }
.detail-card h2 { font-size:18px; font-weight:600; margin-bottom:6px; }
.detail-card .dc-sub { font-size:12px; color:var(--text2); margin-bottom:16px; }
.detail-card .dc-points { display:grid; grid-template-columns:repeat(auto-fill,minmax(180px,1fr)); gap:8px; }
.dc-point {
  background:var(--bg3); border:0.5px solid var(--border); border-radius:8px;
  padding:10px 12px; font-size:12px;
}
.dc-point .dp-title { font-weight:600; margin-bottom:4px; }
.dc-point .dp-desc { color:var(--text2); font-size:11px; line-height:1.5; }
.dc-jump {
  display:inline-block; margin-top:16px;
  background:var(--accent); color:#fff;
  border:none; border-radius:6px; padding:7px 18px;
  font-size:12px; cursor:pointer; transition:var(--tr);
  text-decoration:none;
}
.dc-jump:hover { background:#3a7ae8; }
.dc-tags { display:flex; flex-wrap:wrap; gap:6px; margin-bottom:14px; }
.dc-tag {
  padding:2px 8px; border-radius:10px; font-size:11px;
  background:rgba(79,142,247,0.12); color:var(--accent);
}
.dc-tag.t2 { background:rgba(160,123,223,0.12); color:var(--accent2); }
.dc-tag.t3 { background:rgba(29,184,126,0.12); color:var(--accent3); }
.dc-tag.t4 { background:rgba(232,168,56,0.12); color:var(--accent4); }
.dc-tag.t5 { background:rgba(226,92,92,0.12); color:var(--accent5); }

/* === ALGO SECTIONS === */
.algo-wrap {
  background:var(--card); border:0.5px solid var(--border);
  border-radius:var(--radius); overflow:hidden;
}
.algo-tabs { display:flex; border-bottom:0.5px solid var(--border); overflow-x:auto; }
.algo-tab {
  padding:10px 18px; font-size:12px; color:var(--text2);
  cursor:pointer; border-bottom:2px solid transparent;
  transition:var(--tr); white-space:nowrap; flex-shrink:0;
}
.algo-tab:hover { color:var(--text); background:rgba(255,255,255,0.03); }
.algo-tab.active { color:var(--accent); border-bottom-color:var(--accent); }
.algo-panel { display:none; padding:20px; }
.algo-panel.show { display:block; }

/* controls */
.ctrl-bar {
  display:flex; align-items:center; gap:8px; margin-bottom:16px;
  flex-wrap:wrap;
}
.btn {
  padding:5px 14px; border-radius:6px; font-size:12px;
  border:0.5px solid var(--border2); background:transparent;
  color:var(--text); cursor:pointer; transition:var(--tr);
}
.btn:hover { background:var(--bg3); border-color:var(--accent); }
.btn.primary { background:var(--accent); border-color:var(--accent); color:#fff; }
.btn.primary:hover { background:#3a7ae8; }
.btn.danger { background:transparent; border-color:var(--accent5); color:var(--accent5); }
.btn.danger:hover { background:rgba(226,92,92,0.1); }
.speed-ctrl { display:flex; align-items:center; gap:6px; font-size:12px; color:var(--text2); margin-left:auto; }
.speed-ctrl input { width:80px; accent-color:var(--accent); }

/* gantt */
.gantt-wrap { overflow-x:auto; margin-bottom:14px; }
.gantt-svg { display:block; }
.gantt-label { font-size:11px; fill:var(--text2); }
.gantt-bar { rx:3; transition:opacity 0.2s; }
.gantt-bar:hover { opacity:0.8; cursor:pointer; }
.gantt-tick { stroke:var(--border); }
.gantt-time { font-size:10px; fill:var(--text3); }

/* stat table */
.stat-table { width:100%; border-collapse:collapse; font-size:12px; }
.stat-table th { text-align:left; padding:6px 10px; color:var(--text2); border-bottom:0.5px solid var(--border); }
.stat-table td { padding:6px 10px; border-bottom:0.5px solid rgba(99,153,222,0.06); }
.stat-table tr:hover td { background:rgba(79,142,247,0.04); }
.hi { color:var(--accent); font-weight:600; }

/* frame vis */
.frame-vis { display:flex; gap:4px; flex-wrap:wrap; margin-bottom:12px; }
.frame-box {
  width:52px; height:52px; border-radius:6px; border:0.5px solid var(--border2);
  display:flex; flex-direction:column; align-items:center; justify-content:center;
  font-size:12px; font-weight:600; transition:all 0.25s;
  position:relative;
}
.frame-box.hit { background:rgba(29,184,126,0.18); border-color:var(--accent3); color:var(--accent3); }
.frame-box.miss { background:rgba(226,92,92,0.18); border-color:var(--accent5); color:var(--accent5); }
.frame-box.idle { background:var(--bg3); color:var(--text3); }
.frame-lbl { font-size:10px; color:var(--text3); margin-top:2px; }
.fault-rate { font-size:13px; margin-bottom:12px; }
.fault-rate em { color:var(--accent5); font-style:normal; font-weight:600; }
.page-seq { display:flex; gap:3px; margin-bottom:14px; flex-wrap:wrap; }
.page-chip {
  width:30px; height:28px; display:flex; align-items:center; justify-content:center;
  border-radius:5px; font-size:12px; border:0.5px solid var(--border);
  transition:all 0.2s; color:var(--text2);
}
.page-chip.cur { background:var(--accent); color:#fff; border-color:var(--accent); transform:scale(1.1); }
.page-chip.fault { background:rgba(226,92,92,0.2); border-color:var(--accent5); color:var(--accent5); }
.page-chip.hit-c { background:rgba(29,184,126,0.15); border-color:var(--accent3); color:var(--accent3); }

/* step log */
.step-log {
  background:var(--bg3); border-radius:8px; padding:10px 12px;
  font-size:11.5px; color:var(--text2); min-height:40px;
  border-left:3px solid var(--accent); line-height:1.7;
  max-height:90px; overflow-y:auto;
}

/* process state machine */
.psm-wrap { display:flex; gap:20px; align-items:flex-start; flex-wrap:wrap; }
.psm-canvas { flex-shrink:0; }
.psm-ctrl { flex:1; min-width:220px; }
.psm-evt-list { display:flex; flex-direction:column; gap:6px; }
.psm-evt {
  padding:7px 12px; border-radius:6px; border:0.5px solid var(--border2);
  font-size:12px; cursor:pointer; transition:var(--tr);
  display:flex; align-items:center; gap:8px;
}
.psm-evt:hover { background:var(--bg3); border-color:var(--accent); }
.psm-evt .evt-arrow { font-size:16px; opacity:0.5; }
.psm-evt .evt-name { font-weight:600; }
.psm-evt .evt-desc { font-size:11px; color:var(--text2); }

/* semaphore vis */
.sem-vis { display:flex; gap:12px; flex-wrap:wrap; }
.sem-box {
  background:var(--bg3); border:0.5px solid var(--border2); border-radius:8px;
  padding:10px 14px; min-width:100px;
}
.sem-box .sv-label { font-size:11px; color:var(--text2); margin-bottom:4px; }
.sem-box .sv-val {
  font-size:26px; font-weight:700; color:var(--accent);
  transition:color 0.3s;
}
.sem-box .sv-val.neg { color:var(--accent5); }
.wait-queue { display:flex; gap:4px; flex-wrap:wrap; margin-top:6px; }
.wq-chip {
  width:24px; height:24px; border-radius:5px;
  background:rgba(226,92,92,0.15); border:0.5px solid var(--accent5);
  display:flex; align-items:center; justify-content:center;
  font-size:10px; color:var(--accent5);
}

/* disk path */
.disk-vis { position:relative; }
.disk-svg { display:block; width:100%; }

/* banker */
.banker-table { width:100%; border-collapse:collapse; font-size:12px; margin-bottom:10px; }
.banker-table th { padding:5px 8px; text-align:center; color:var(--text2); border-bottom:0.5px solid var(--border); }
.banker-table td { padding:5px 8px; text-align:center; border-bottom:0.5px solid rgba(99,153,222,0.06); }
.banker-table .hl-row td { background:rgba(79,142,247,0.1); color:var(--accent); }
.banker-output {
  background:var(--bg3); border-radius:8px; padding:12px 14px;
  font-size:12px; line-height:1.8; min-height:60px;
  border-left:3px solid var(--accent3);
}

/* inode vis */
.inode-vis { display:flex; gap:12px; flex-wrap:wrap; }
.inode-block {
  background:var(--bg3); border:0.5px solid var(--border2); border-radius:8px;
  padding:10px; min-width:120px;
}
.ib-title { font-size:11px; color:var(--text2); margin-bottom:6px; font-weight:600; }
.ib-rows { display:flex; flex-direction:column; gap:3px; }
.ib-row { display:flex; align-items:center; gap:6px; font-size:11px; }
.ib-key { color:var(--text3); width:50px; }
.ib-val { color:var(--text); font-weight:500; }

/* RAG */
.rag-canvas-wrap { text-align:center; }
.rag-svg { display:inline-block; }

/* I/O */
.io-layer-vis { display:flex; flex-direction:column; gap:6px; margin:14px 0; }
.io-layer {
  padding:10px 16px; border-radius:8px; border:0.5px solid var(--border2);
  font-size:13px; display:flex; align-items:center; gap:10px;
}
.io-layer .il-icon { font-size:18px; }
.io-layer .il-name { font-weight:600; }
.io-layer .il-desc { font-size:11px; color:var(--text2); margin-left:auto; }

/* utility */
.two-col { display:grid; grid-template-columns:1fr 1fr; gap:16px; }
@media(max-width:700px) { .two-col { grid-template-columns:1fr; } }
.info-box {
  background:var(--bg3); border:0.5px solid var(--border); border-radius:8px;
  padding:12px 14px; font-size:12px; line-height:1.7; color:var(--text2);
  margin-bottom:14px;
}
.info-box strong { color:var(--text); }
.key-formula {
  background:rgba(79,142,247,0.07); border:0.5px solid rgba(79,142,247,0.2);
  border-radius:6px; padding:8px 12px; font-size:12px;
  font-family:monospace; color:var(--accent); margin:8px 0;
}
.progress-bar-wrap { width:100%; background:var(--bg3); border-radius:4px; height:8px; margin:6px 0; }
.progress-bar { height:8px; border-radius:4px; transition:width 0.4s; }
code { font-family:monospace; background:var(--bg3); padding:1px 5px; border-radius:4px; font-size:11px; }

/* Page header banner */
.page-banner {
  padding:32px 32px 24px;
  border-bottom:0.5px solid var(--border);
  background: radial-gradient(ellipse 60% 40% at 20% 0%, rgba(79,142,247,0.10) 0%, transparent 70%);
}
.page-banner h1 { font-size:28px; font-weight:700; margin-bottom:4px; }
.page-banner .pb-sub { color:var(--text2); font-size:13px; }
.page-banner .pb-nav { margin-top:12px; display:flex; gap:6px; flex-wrap:wrap; }
.page-banner .pb-nav a {
  font-size:11px; padding:4px 10px; border-radius:14px;
  border:0.5px solid var(--border2); color:var(--text2);
  text-decoration:none; transition:var(--tr);
}
.page-banner .pb-nav a:hover { border-color:var(--accent); color:var(--text); }

/* footer */
footer {
  text-align:center; padding:24px; font-size:12px; color:var(--text3);
  border-top:0.5px solid var(--border);
}