/* digger docs — shared styles, no framework.
   Aesthetic mirrors the HTML report renderer (digger/report/html_report.py). */

:root {
  --bg:           #0c0f14;
  --bg-elevated:  #10141c;
  --bg-deeper:    #181d27;
  --border:       #2a2f3a;
  --border-soft:  #1d222d;
  --fg:           #e6e8ec;
  --fg-muted:     #aab0bd;
  --fg-dim:       #6a6f7c;
  --link:         #7cc4ff;
  --link-hover:   #b7ddff;
  --accent:       #d0c39a;
  --crit:         #ff2e6c;
  --high:         #ff9b3a;
  --med:          #ffd152;
  --low:          #7cc4ff;
  --info:         #8a8f99;
  --ok:           #69d49a;
  --mono:         "Iosevka","JetBrains Mono",Menlo,Consolas,Monaco,monospace;
  --sidebar-w:    260px;
  --topbar-h:     56px;
}

* { box-sizing: border-box }

html { scroll-behavior: smooth }
body {
  margin: 0; padding: 0;
  background: var(--bg); color: var(--fg);
  font-family: -apple-system, Inter, system-ui, "Segoe UI", Roboto, sans-serif;
  line-height: 1.6;
  font-size: 15px;
}

/* ---- top bar ---- */
#topbar {
  position: fixed; top: 0; left: 0; right: 0; height: var(--topbar-h);
  background: linear-gradient(180deg, var(--bg-deeper), var(--bg));
  border-bottom: 1px solid var(--border);
  display: flex; align-items: center; gap: 14px;
  padding: 0 22px;
  z-index: 100;
}
#topbar .logo { display: flex; align-items: center; gap: 12px; color: inherit; text-decoration: none }
#topbar .logo svg { width: 30px; height: 30px; flex-shrink: 0 }
#topbar .logo strong { font-size: 18px; letter-spacing: 4px; color: var(--accent) }
#topbar .logo small { color: var(--fg-muted); font-size: 12px; font-family: var(--mono) }
#topbar .spacer { flex: 1 }
#topbar a.ext { color: var(--fg-muted); font-size: 13px; text-decoration: none }
#topbar a.ext:hover { color: var(--link-hover) }

/* ---- sidebar ---- */
#sidebar {
  position: fixed; top: var(--topbar-h); bottom: 0; left: 0; width: var(--sidebar-w);
  background: var(--bg);
  border-right: 1px solid var(--border);
  overflow-y: auto;
  padding: 24px 0 40px;
}
#sidebar .group { padding: 4px 22px }
#sidebar .group + .group { margin-top: 18px }
#sidebar .group h4 {
  margin: 0 0 8px;
  text-transform: uppercase;
  font-size: 10px; letter-spacing: 2px;
  color: var(--fg-dim);
  font-weight: 700;
}
#sidebar a {
  display: block;
  padding: 6px 10px;
  margin: 2px -10px;
  border-radius: 6px;
  color: var(--fg-muted);
  text-decoration: none;
  font-size: 14px;
}
#sidebar a:hover { background: var(--bg-elevated); color: var(--fg) }
#sidebar a.active { background: var(--bg-deeper); color: var(--accent); font-weight: 600 }

/* ---- main content ---- */
main {
  margin-left: var(--sidebar-w);
  padding: calc(var(--topbar-h) + 36px) 56px 80px;
  max-width: calc(900px + var(--sidebar-w));
}

main h1 {
  margin: 0 0 28px;
  font-size: 34px;
  letter-spacing: -0.5px;
  color: var(--fg);
  line-height: 1.2;
}
main h1 .subtitle {
  display: block;
  font-size: 15px;
  font-weight: 400;
  color: var(--fg-muted);
  margin-top: 8px;
  letter-spacing: 0;
}

main h2 {
  margin: 48px 0 12px;
  font-size: 22px;
  font-weight: 700;
  color: var(--fg);
  padding-bottom: 8px;
  border-bottom: 1px solid var(--border);
}
main h3 { margin: 32px 0 8px; font-size: 16px; color: var(--accent); letter-spacing: 0.2px }
main h4 { margin: 20px 0 6px; font-size: 13px; color: var(--fg); text-transform: uppercase; letter-spacing: 1px }

main p, main li { color: var(--fg) }
main p { margin: 10px 0 }
main a { color: var(--link); text-decoration: none; border-bottom: 1px dotted var(--link) }
main a:hover { color: var(--link-hover); border-bottom-style: solid }

main ul, main ol { padding-left: 22px; margin: 8px 0 }
main li { margin: 4px 0 }

main code {
  font-family: var(--mono);
  font-size: 13px;
  background: var(--bg-deeper);
  padding: 1px 6px;
  border-radius: 4px;
  color: var(--accent);
}
main pre {
  background: var(--bg-elevated);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 16px 18px;
  margin: 14px 0;
  overflow-x: auto;
  font-size: 13px;
  line-height: 1.55;
}
main pre code {
  background: transparent;
  padding: 0;
  color: var(--fg);
  font-family: var(--mono);
}

main blockquote {
  margin: 14px 0;
  padding: 12px 18px;
  background: var(--bg-elevated);
  border-left: 3px solid var(--accent);
  border-radius: 0 8px 8px 0;
  color: var(--fg);
}
main blockquote.note    { border-left-color: var(--low) }
main blockquote.warn    { border-left-color: var(--high) }
main blockquote.danger  { border-left-color: var(--crit) }
main blockquote strong:first-child { color: var(--accent) }

/* ---- tables ---- */
main table {
  width: 100%;
  border-collapse: collapse;
  margin: 18px 0;
  font-size: 14px;
}
main th, main td {
  text-align: left;
  padding: 10px 14px;
  border-bottom: 1px solid var(--border-soft);
  vertical-align: top;
}
main th {
  background: var(--bg-deeper);
  color: var(--accent);
  font-weight: 600;
  font-size: 12px;
  text-transform: uppercase;
  letter-spacing: 0.6px;
}
main td code { white-space: nowrap }

/* ---- pills / badges ---- */
.pill {
  display: inline-block;
  padding: 2px 9px;
  font-size: 11px;
  font-weight: 700;
  border-radius: 999px;
  color: var(--bg);
  text-transform: uppercase;
  letter-spacing: 0.5px;
  margin-right: 4px;
}
.pill.crit { background: var(--crit) }
.pill.high { background: var(--high) }
.pill.med  { background: var(--med) }
.pill.low  { background: var(--low) }
.pill.info { background: var(--info); color: var(--fg) }
.pill.ok   { background: var(--ok) }

.tag {
  display: inline-block;
  padding: 2px 8px;
  font-size: 11px;
  background: var(--bg-deeper);
  border: 1px solid var(--border);
  color: var(--fg-muted);
  border-radius: 5px;
  font-family: var(--mono);
  margin-right: 4px;
}

/* ---- landing hero ---- */
.hero {
  padding: 28px 0 8px;
  display: flex;
  gap: 28px;
  align-items: center;
}
.hero svg, .hero img, .hero object {
  width: 120px; height: 140px; flex-shrink: 0;
}
.hero .h-text h1 { margin: 0 0 6px; font-size: 42px; letter-spacing: -1px }
.hero .h-text p { color: var(--fg-muted); font-size: 17px; max-width: 660px; margin: 4px 0 }

.cards {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
  gap: 14px;
  margin: 32px 0;
}
.card {
  background: var(--bg-elevated);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 18px 20px;
  text-decoration: none;
  color: inherit;
  transition: border-color 0.15s, transform 0.15s;
}
.card:hover { border-color: var(--accent); transform: translateY(-2px) }
.card h3 { margin: 0 0 6px; color: var(--accent); border: 0 }
.card p { margin: 0; color: var(--fg-muted); font-size: 14px; line-height: 1.5 }

/* ---- responsive ---- */
@media (max-width: 880px) {
  #sidebar { display: none }
  main { margin-left: 0; padding: calc(var(--topbar-h) + 24px) 22px 80px }
}

/* ---- key-value definition lists ---- */
dl.kv { display: grid; grid-template-columns: max-content 1fr; gap: 6px 18px; margin: 14px 0 }
dl.kv dt { color: var(--accent); font-family: var(--mono); font-size: 13px }
dl.kv dd { margin: 0; color: var(--fg) }

/* ---- callout boxes for compliance / forensic notes ---- */
.callout {
  background: var(--bg-elevated);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 16px 20px;
  margin: 18px 0;
}
.callout h4 { margin: 0 0 6px; color: var(--accent); border: 0 }
.callout p { margin: 4px 0 }

/* ---- TLP badges ---- */
.tlp { font-family: var(--mono); font-size: 11px; padding: 2px 6px; border-radius: 4px }
.tlp.clear { background: #ffffff; color: #000 }
.tlp.green { background: #33ff33; color: #000 }
.tlp.amber { background: #ffc000; color: #000 }
.tlp.amber-strict { background: #ff7e00; color: #000 }
.tlp.red { background: #ff2a2a; color: #fff }

/* =========================================================
   v2 enhancements — topbar widgets, search, TOC, copy, nav
   ========================================================= */

/* ---- hamburger (mobile) ---- */
#topbar .hamburger {
  display: none;
  background: transparent; border: 0; padding: 6px; margin-right: 4px;
  cursor: pointer; border-radius: 6px;
}
#topbar .hamburger:hover { background: var(--bg-elevated) }
#topbar .hamburger span {
  display: block; width: 20px; height: 2px;
  background: var(--fg-muted); margin: 4px 0; border-radius: 2px;
  transition: transform 0.15s, opacity 0.15s;
}
body.nav-open #topbar .hamburger span:nth-child(1) { transform: translateY(6px) rotate(45deg) }
body.nav-open #topbar .hamburger span:nth-child(2) { opacity: 0 }
body.nav-open #topbar .hamburger span:nth-child(3) { transform: translateY(-6px) rotate(-45deg) }

/* ---- search trigger ---- */
#topbar .search-trigger {
  display: inline-flex; align-items: center; gap: 8px;
  background: var(--bg-elevated); color: var(--fg-muted);
  border: 1px solid var(--border); border-radius: 8px;
  padding: 6px 10px; font-size: 13px; cursor: pointer;
  font-family: inherit;
  min-width: 200px;
}
#topbar .search-trigger:hover { color: var(--fg); border-color: var(--accent) }
#topbar .search-trigger span { flex: 1; text-align: left; color: inherit }
#topbar .search-trigger kbd { margin-left: auto }
#topbar .search-trigger svg { color: var(--fg-muted) }
@media (max-width: 700px) {
  #topbar .search-trigger span,
  #topbar .search-trigger kbd { display: none }
  #topbar .search-trigger { min-width: 0; padding: 6px 8px }
}

/* ---- kbd everywhere ---- */
kbd {
  display: inline-block;
  font-family: var(--mono);
  font-size: 11px;
  background: var(--bg);
  color: var(--fg-muted);
  border: 1px solid var(--border);
  border-bottom-width: 2px;
  border-radius: 4px;
  padding: 1px 6px;
  min-width: 16px;
  text-align: center;
}

/* ---- main layout: leave room for right-rail TOC ---- */
main {
  position: relative;
  padding-right: 250px; /* room for TOC */
}
@media (max-width: 1180px) {
  main { padding-right: 56px }
  #toc { display: none }
}

/* ---- table of contents (right rail) ---- */
#toc {
  position: fixed;
  top: calc(var(--topbar-h) + 32px);
  right: 24px;
  width: 200px;
  max-height: calc(100vh - var(--topbar-h) - 64px);
  overflow-y: auto;
  font-size: 13px;
}
#toc h4 {
  margin: 0 0 8px;
  text-transform: uppercase;
  font-size: 10px; letter-spacing: 2px;
  color: var(--fg-dim);
  font-weight: 700;
  border: 0; padding: 0;
}
#toc ul { list-style: none; padding: 0; margin: 0 }
#toc li { margin: 0 }
#toc li.h3 a { padding-left: 18px; font-size: 12px }
#toc a {
  display: block;
  padding: 4px 8px;
  border-left: 2px solid transparent;
  color: var(--fg-muted);
  text-decoration: none;
  line-height: 1.35;
}
#toc a:hover { color: var(--fg); border-left-color: var(--border) }
#toc a.active { color: var(--accent); border-left-color: var(--accent); font-weight: 600 }

/* ---- heading anchor links ---- */
main h2, main h3 { scroll-margin-top: calc(var(--topbar-h) + 16px) }
.heading-anchor {
  display: inline-block;
  margin-left: 8px;
  color: var(--fg-dim);
  opacity: 0;
  font-size: 0.7em;
  text-decoration: none;
  border: 0;
  transition: opacity 0.15s, color 0.15s;
}
.heading-anchor:hover { color: var(--accent) }
main h2:hover .heading-anchor,
main h3:hover .heading-anchor { opacity: 0.5 }
.heading-anchor.flashed { opacity: 1; color: var(--ok) }

/* ---- copy buttons on <pre> ---- */
main pre { position: relative }
.copy-btn {
  position: absolute;
  top: 8px; right: 8px;
  background: var(--bg-deeper);
  color: var(--fg-muted);
  border: 1px solid var(--border);
  border-radius: 5px;
  padding: 3px 9px;
  font-size: 11px;
  font-family: var(--mono);
  cursor: pointer;
  opacity: 0;
  transition: opacity 0.15s, color 0.15s, background 0.15s;
}
main pre:hover .copy-btn { opacity: 1 }
.copy-btn:hover { color: var(--fg); background: var(--bg-elevated) }
.copy-btn.flashed { opacity: 1; color: var(--ok); border-color: var(--ok) }

/* ---- prev / next page nav ---- */
#pagenav {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 14px;
  margin: 48px 0 24px;
}
#pagenav a {
  display: flex; flex-direction: column;
  padding: 14px 18px;
  background: var(--bg-elevated);
  border: 1px solid var(--border);
  border-radius: 10px;
  text-decoration: none;
  border-bottom: 1px solid var(--border);
  transition: border-color 0.15s, transform 0.15s;
}
#pagenav a:hover { border-color: var(--accent); transform: translateY(-2px) }
#pagenav .spacer { background: transparent; border: 0 }
#pagenav .label { color: var(--fg-muted); font-size: 11px; text-transform: uppercase; letter-spacing: 1.2px }
#pagenav .title { color: var(--accent); font-weight: 600; margin-top: 4px }
#pagenav .next { text-align: right }
#pagenav .prev .label::before { content: "" }

/* ---- page footer ---- */
#page-footer {
  margin-top: 36px;
  padding: 18px 0 0;
  border-top: 1px solid var(--border);
  display: flex; align-items: center; gap: 14px;
  color: var(--fg-dim); font-size: 12px;
  font-family: var(--mono);
}
#page-footer .spacer { flex: 1 }
#page-footer .hint { color: var(--fg-dim) }
#page-footer kbd { font-size: 10px }

/* ---- search modal ---- */
#search-modal {
  position: fixed; inset: 0;
  background: rgba(0,0,0,0.65);
  backdrop-filter: blur(4px);
  -webkit-backdrop-filter: blur(4px);
  z-index: 200;
  display: none;
  align-items: flex-start;
  justify-content: center;
  padding-top: 12vh;
}
body.search-open #search-modal { display: flex }
.sr-card {
  width: min(640px, 92vw);
  background: var(--bg-elevated);
  border: 1px solid var(--border);
  border-radius: 12px;
  box-shadow: 0 30px 80px rgba(0,0,0,0.55);
  overflow: hidden;
}
.sr-input-row {
  display: flex; align-items: center; gap: 10px;
  padding: 12px 14px;
  border-bottom: 1px solid var(--border);
}
.sr-input-row .sr-icon { color: var(--fg-muted); flex-shrink: 0 }
.sr-input {
  flex: 1;
  background: transparent;
  border: 0;
  color: var(--fg);
  font-size: 16px;
  outline: none;
  font-family: inherit;
}
.sr-input::placeholder { color: var(--fg-dim) }
.sr-close-hint { color: var(--fg-dim); font-size: 11px }
.sr-list {
  max-height: 60vh;
  overflow-y: auto;
  padding: 6px 0;
}
.sr-hint {
  padding: 18px 18px;
  color: var(--fg-dim);
  font-size: 13px;
}
.sr-item {
  display: block;
  padding: 10px 16px;
  color: inherit;
  text-decoration: none;
  border-left: 3px solid transparent;
  border-bottom: 1px solid var(--border-soft);
}
.sr-item:hover, .sr-item.active {
  background: var(--bg-deeper);
  border-left-color: var(--accent);
}
.sr-title { color: var(--fg); font-weight: 600; font-size: 14px }
.sr-sub { color: var(--fg-muted); font-size: 12px; margin-top: 2px }
.sr-snippet {
  color: var(--fg-muted);
  font-size: 12px;
  margin-top: 6px;
  font-family: var(--mono);
  line-height: 1.5;
}
.sr-snippet mark { background: var(--accent); color: var(--bg); padding: 0 2px; border-radius: 2px }
.sr-sections {
  margin-top: 8px;
  display: flex; flex-wrap: wrap; gap: 6px;
}
.sr-section {
  font-size: 11px;
  font-family: var(--mono);
  padding: 2px 8px;
  background: var(--bg);
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--fg-muted);
  text-decoration: none;
}
.sr-section:hover { color: var(--accent); border-color: var(--accent) }

/* ---- shortcuts modal ---- */
#shortcuts-modal {
  position: fixed; inset: 0;
  background: rgba(0,0,0,0.65);
  backdrop-filter: blur(4px);
  z-index: 200;
  display: flex; align-items: center; justify-content: center;
}
.sc-card {
  background: var(--bg-elevated);
  border: 1px solid var(--border);
  border-radius: 12px;
  padding: 22px 26px;
  min-width: 360px;
  box-shadow: 0 30px 80px rgba(0,0,0,0.55);
}
.sc-card h3 { margin: 0 0 16px; color: var(--accent); border: 0; font-size: 16px }
.sc-card table { width: 100%; border-collapse: collapse }
.sc-card td { padding: 7px 0; vertical-align: middle; color: var(--fg-muted); font-size: 13px; border: 0 }
.sc-card td:first-child { white-space: nowrap; padding-right: 20px }
.sc-close {
  margin-top: 16px;
  background: var(--bg);
  color: var(--fg);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 6px 14px;
  font-size: 12px;
  cursor: pointer;
  font-family: inherit;
}
.sc-close:hover { border-color: var(--accent); color: var(--accent) }

/* ---- mobile nav drawer ---- */
@media (max-width: 880px) {
  #topbar .hamburger { display: block }
  #topbar .logo small { display: none }
  #sidebar {
    transform: translateX(-100%);
    transition: transform 0.18s;
    background: var(--bg-deeper);
    box-shadow: 0 0 50px rgba(0,0,0,0.5);
    z-index: 90;
  }
  body.nav-open #sidebar { transform: translateX(0) }
  main { padding-right: 22px }
}

/* ---- print stylesheet ---- */
@media print {
  body { background: #fff; color: #000 }
  #topbar, #sidebar, #toc, #pagenav, .copy-btn, .heading-anchor,
  #page-footer, #search-modal, #shortcuts-modal { display: none !important }
  main { margin: 0; padding: 0; max-width: 100% }
  main h1, main h2, main h3 { color: #000; border-color: #ccc }
  main a { color: #000; text-decoration: underline }
  main pre { background: #f6f6f6; color: #000; border: 1px solid #ddd }
  main code { background: #f0f0f0; color: #000 }
  main blockquote { background: #f6f6f6; color: #000; border-left-color: #888 }
  main table th { background: #eee; color: #000 }
}

/* =========================================================
   syntax highlighting (highlight.js)
   ========================================================= */
.tok-comment    { color: #6a6f7c; font-style: italic }
.tok-string     { color: #9cd28a }
.tok-number     { color: #d28aff }
.tok-keyword    { color: #ff9b3a; font-weight: 600 }
.tok-builtin    { color: #7cc4ff }
.tok-decorator  { color: #ffd152 }
.tok-operator   { color: #d0c39a }
.tok-prompt     { color: #5a6068; font-weight: 700 }
.tok-punctuation { color: #aab0bd }

/* figure / diagram blocks */
figure.diagram {
  margin: 26px 0;
  padding: 18px;
  background: var(--bg-elevated);
  border: 1px solid var(--border);
  border-radius: 12px;
  overflow: hidden;
}
figure.diagram img,
figure.diagram svg {
  display: block;
  width: 100%;
  height: auto;
  max-width: 980px;
  margin: 0 auto;
}

/* corner language tag */
.pre-lang {
  position: absolute;
  top: 8px;
  right: 60px;
  font-family: var(--mono);
  font-size: 10px;
  color: var(--fg-dim);
  letter-spacing: 0.8px;
  text-transform: uppercase;
  pointer-events: none;
  opacity: 0;
  transition: opacity 0.15s;
}
main pre:hover .pre-lang { opacity: 0.8 }
.pre-lang::before { content: ""; display: inline-block; width: 6px; height: 6px;
  background: var(--accent); border-radius: 50%; margin-right: 6px;
  vertical-align: middle; opacity: 0.7; }