/* Summer Research — MCTS × LLM × Learned-Surrogate for Auto EDA
   Reviewer-style report styling. */

:root {
  --bg: #f7f6f2;
  --bg-alt: #efece4;
  --paper: #ffffff;
  --ink: #1a1c2b;
  --ink-mute: #52596e;
  --ink-faint: #8890a5;
  --line: #d9d5c9;
  --line-soft: #e8e4d8;
  --accent: #2b4bd9;
  --accent-mute: #5a72ea;
  --accent-bg: #eef1ff;
  --mcts: #2b4bd9;
  --mcts-bg: #eef1ff;
  --rl: #7b3fc7;
  --rl-bg: #f2ebff;
  --llm: #0f8a5f;
  --llm-bg: #e6f6ef;
  --surrogate: #c98600;
  --surrogate-bg: #fff5dd;
  --eda: #c1385c;
  --eda-bg: #fceaf0;
  --high: #d92b4b;
  --high-bg: #ffe8ec;
  --code: #f2efe6;
  --shadow: 0 2px 8px rgba(23, 26, 43, .04), 0 8px 30px rgba(23, 26, 43, .06);
  --radius: 10px;
  --radius-sm: 6px;
  --mono: 'JetBrains Mono', 'SF Mono', ui-monospace, Menlo, monospace;
  --serif: 'Source Serif Pro', 'Iowan Old Style', Georgia, serif;
  --sans: -apple-system, BlinkMacSystemFont, 'Inter', 'Segoe UI', 'Noto Sans TC', system-ui, sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  font-family: var(--sans);
  color: var(--ink);
  background: var(--bg);
  line-height: 1.6;
  font-size: 15px;
  -webkit-font-smoothing: antialiased;
}

a { color: var(--accent); text-decoration: none; border-bottom: 1px solid transparent; transition: border-color .15s; }
a:hover { border-bottom-color: var(--accent); }
code, .mono { font-family: var(--mono); font-size: .92em; }
sup { font-size: .7em; }

/* ─── Top nav ─── */
.topnav {
  position: sticky;
  top: 0;
  z-index: 50;
  background: rgba(247, 246, 242, .92);
  backdrop-filter: blur(10px);
  border-bottom: 1px solid var(--line);
}
.topnav-inner {
  max-width: 1200px;
  margin: 0 auto;
  padding: 12px 24px;
  display: flex;
  gap: 22px;
  align-items: center;
  flex-wrap: wrap;
  font-family: var(--mono);
  font-size: 12px;
}
.topnav-brand { font-weight: 700; letter-spacing: -.2px; margin-right: auto; color: var(--ink); }
.topnav-brand .tsmc { color: var(--accent); font-weight: 800; }
.topnav a { color: var(--ink-mute); border: none; letter-spacing: .3px; }
.topnav a:hover { color: var(--accent); }
.logout-link { color: var(--ink-faint) !important; margin-left: 12px; }

/* ─── Hero ─── */
.hero {
  max-width: 1100px;
  margin: 40px auto 0;
  padding: 0 24px 20px;
}
.hero .kicker {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 2.5px;
  color: var(--accent);
  padding: 5px 12px;
  border: 1px solid var(--accent);
  border-radius: 999px;
  background: var(--accent-bg);
  margin-bottom: 20px;
}
.hero h1 {
  font-family: var(--serif);
  font-weight: 600;
  font-size: 44px;
  line-height: 1.15;
  letter-spacing: -.8px;
  margin: 0 0 12px;
  color: var(--ink);
}
.hero h1 .times { color: var(--accent); font-weight: 400; margin: 0 4px; }
.hero .lede {
  font-family: var(--serif);
  font-size: 19px;
  color: var(--ink-mute);
  max-width: 780px;
  line-height: 1.55;
  margin: 0 0 22px;
}
.hero .meta {
  display: flex;
  gap: 22px;
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-faint);
  flex-wrap: wrap;
}
.hero .meta strong { color: var(--ink); font-weight: 600; }

/* ─── Section headers ─── */
main { max-width: 1100px; margin: 0 auto; padding: 0 24px 80px; }
.section { padding: 48px 0 12px; border-top: 1px solid var(--line); margin-top: 32px; }
.section:first-of-type { border-top: none; margin-top: 0; }
.section-num {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 3px;
  color: var(--ink-faint);
  margin-bottom: 8px;
}
.section h2 {
  font-family: var(--serif);
  font-size: 30px;
  letter-spacing: -.4px;
  margin: 0 0 6px;
  color: var(--ink);
  font-weight: 600;
}
.section-hint {
  font-family: var(--serif);
  font-size: 16px;
  color: var(--ink-mute);
  margin: 0 0 20px;
  max-width: 800px;
}

/* ─── Framing/overview blocks ─── */
.framing {
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  padding: 26px 30px;
  margin: 0 0 20px;
  box-shadow: var(--shadow);
}
.framing p { margin: 0 0 12px; }
.framing p:last-child { margin: 0; }
.framing h3 {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 2.5px;
  color: var(--ink-faint);
  margin: 0 0 12px;
  text-transform: uppercase;
}

/* Architecture diagram (CSS-only) */
.arch {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 12px;
  margin: 18px 0 4px;
  font-family: var(--mono);
  font-size: 13px;
}
.arch-tier {
  background: var(--bg-alt);
  border: 1px solid var(--line);
  border-radius: var(--radius-sm);
  padding: 14px 14px 12px;
  position: relative;
}
.arch-tier .tier-num {
  position: absolute;
  top: -9px;
  left: 12px;
  font-size: 10px;
  letter-spacing: 2px;
  background: var(--paper);
  padding: 2px 8px;
  color: var(--ink-faint);
  border: 1px solid var(--line);
  border-radius: 999px;
}
.arch-tier .tier-title { font-weight: 700; color: var(--ink); margin-bottom: 6px; }
.arch-tier .tier-body { color: var(--ink-mute); font-size: 12px; line-height: 1.5; font-family: var(--sans); }
.arch-tier.mcts { border-color: var(--mcts); background: var(--mcts-bg); }
.arch-tier.mcts .tier-title { color: var(--mcts); }
.arch-tier.surrogate { border-color: var(--surrogate); background: var(--surrogate-bg); }
.arch-tier.surrogate .tier-title { color: var(--surrogate); }
.arch-tier.eda { border-color: var(--eda); background: var(--eda-bg); }
.arch-tier.eda .tier-title { color: var(--eda); }

/* ─── Master comparison table ─── */
.table-wrap {
  overflow-x: auto;
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  box-shadow: var(--shadow);
  margin-bottom: 20px;
}
table.compare {
  width: 100%;
  border-collapse: collapse;
  font-size: 13px;
  font-family: var(--mono);
}
table.compare th, table.compare td {
  padding: 10px 14px;
  text-align: left;
  border-bottom: 1px solid var(--line-soft);
  vertical-align: top;
}
table.compare th {
  background: var(--bg-alt);
  font-weight: 600;
  color: var(--ink-mute);
  font-size: 11px;
  letter-spacing: 1.5px;
  text-transform: uppercase;
  border-bottom: 1.5px solid var(--line);
  position: sticky;
  top: 51px;
  z-index: 1;
}
table.compare tr:last-child td { border-bottom: none; }
table.compare tbody tr:hover { background: var(--bg-alt); }
table.compare .tt { font-weight: 600; color: var(--ink); font-family: var(--sans); font-size: 14px; }
table.compare .yr { color: var(--ink-faint); }
table.compare .delta { color: var(--llm); font-weight: 600; font-family: var(--mono); }
table.compare .cat { font-size: 10px; letter-spacing: 1px; padding: 2px 7px; border-radius: 4px; }

/* ─── Paper cards ─── */
.cards {
  display: grid;
  gap: 18px;
}
.card {
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  padding: 22px 26px 20px;
  box-shadow: var(--shadow);
  transition: transform .15s ease, box-shadow .15s ease;
}
.card:hover { transform: translateY(-1px); box-shadow: 0 4px 12px rgba(23,26,43,.06), 0 12px 40px rgba(23,26,43,.08); }
.card.priority {
  border-left: 4px solid var(--high);
  background: linear-gradient(90deg, rgba(217,43,75,.03), transparent 30%), var(--paper);
}
.card.priority::before {
  content: 'CLOSEST PRIOR ART';
  display: inline-block;
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 2px;
  color: var(--high);
  background: var(--high-bg);
  border: 1px solid var(--high);
  padding: 3px 8px;
  border-radius: 999px;
  margin-bottom: 8px;
}
.card-head { margin-bottom: 12px; }
.card-title {
  font-family: var(--serif);
  font-size: 20px;
  font-weight: 600;
  color: var(--ink);
  margin: 0 0 4px;
  line-height: 1.3;
  letter-spacing: -.2px;
}
.card-title a { color: inherit; border-bottom: 1px dashed var(--line); }
.card-title a:hover { color: var(--accent); border-bottom-color: var(--accent); }
.card-authors {
  font-family: var(--serif);
  font-style: italic;
  color: var(--ink-mute);
  font-size: 14px;
  margin: 2px 0 0;
}
.card-meta {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--ink-faint);
  margin: 6px 0 0;
  letter-spacing: .5px;
}
.card-meta .venue { color: var(--accent); font-weight: 600; }
.card-meta .yr { color: var(--ink-mute); }

.card-body {
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 10px 18px;
  margin: 14px 0 12px;
}
.card-body dt {
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 2px;
  color: var(--ink-faint);
  padding-top: 3px;
  text-transform: uppercase;
}
.card-body dd { margin: 0; color: var(--ink); font-size: 14.5px; line-height: 1.55; }
.card-body dt.problem { color: var(--eda); }
.card-body dt.solution { color: var(--mcts); }
.card-body dt.results { color: var(--llm); }
.card-body dt.relevance { color: var(--rl); }

.card-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  margin-top: 6px;
}
.tag {
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 1px;
  padding: 3px 8px;
  border-radius: 4px;
  background: var(--bg-alt);
  color: var(--ink-mute);
  border: 1px solid var(--line);
}
.tag.MCTS { background: var(--mcts-bg); color: var(--mcts); border-color: var(--mcts); }
.tag.LLM { background: var(--llm-bg); color: var(--llm); border-color: var(--llm); }
.tag.RL { background: var(--rl-bg); color: var(--rl); border-color: var(--rl); }
.tag.Surrogate, .tag.CongestionPredictor, .tag.TimingPredictor, .tag.WirelengthPredictor, .tag.IR-Drop, .tag.ProcessRewardModel {
  background: var(--surrogate-bg); color: var(--surrogate); border-color: var(--surrogate);
}
.tag.EDA, .tag.Placement, .tag.Routing, .tag.GateSizing, .tag.ClockTree, .tag.LogicSynthesis, .tag.HLS, .tag.TechMapping, .tag.SynthesisRecipe, .tag.Synthesis, .tag.DSE, .tag.Multi-Objective, .tag.Compiler, .tag.Verilog, .tag.RTL, .tag.EDA-Orchestration, .tag.PPA {
  background: var(--eda-bg); color: var(--eda); border-color: var(--eda);
}

/* ─── Categorized sub-header ─── */
.cat-badge {
  display: inline-block;
  font-family: var(--mono);
  font-size: 10px;
  letter-spacing: 1.5px;
  padding: 3px 8px;
  border-radius: 4px;
  margin-left: 6px;
  vertical-align: middle;
  text-transform: uppercase;
}
.cat-badge.mcts { background: var(--mcts-bg); color: var(--mcts); }
.cat-badge.rl { background: var(--rl-bg); color: var(--rl); }
.cat-badge.llm { background: var(--llm-bg); color: var(--llm); }
.cat-badge.eda { background: var(--eda-bg); color: var(--eda); }
.cat-badge.surrogate { background: var(--surrogate-bg); color: var(--surrogate); }

/* ─── Synthesis block ─── */
.synth {
  background: linear-gradient(180deg, var(--paper), var(--bg-alt));
  border: 1px solid var(--line);
  border-radius: var(--radius);
  padding: 30px 34px;
  box-shadow: var(--shadow);
}
.synth h3 {
  font-family: var(--serif);
  font-size: 22px;
  margin: 0 0 12px;
  color: var(--ink);
  font-weight: 600;
}
.synth ol { padding-left: 18px; margin: 12px 0; }
.synth li { margin-bottom: 10px; }
.synth strong { color: var(--accent); }

/* ─── Footer ─── */
footer {
  max-width: 1100px;
  margin: 60px auto 40px;
  padding: 24px;
  border-top: 1px solid var(--line);
  font-family: var(--mono);
  font-size: 11px;
  color: var(--ink-faint);
  letter-spacing: .5px;
  text-align: center;
  line-height: 1.7;
}
footer a { color: var(--ink-mute); }

/* ─── Responsive ─── */
@media (max-width: 780px) {
  .hero h1 { font-size: 32px; }
  .hero .lede { font-size: 16px; }
  .arch { grid-template-columns: 1fr; }
  .card-body { grid-template-columns: 1fr; gap: 4px; }
  .card-body dt { padding-top: 10px; }
  .topnav-inner { gap: 12px; padding: 10px 16px; font-size: 11px; }
  main, .hero { padding-left: 16px; padding-right: 16px; }
  .section h2 { font-size: 24px; }
  table.compare th { position: static; }
}