:root {
  color-scheme: light dark;
  --bg: #f7f7f5; --fg: #191918; --muted: #666661; --card: #ffffff; --line: #e3e3de;
  --accent: #0284c7; --accent-fg: #ffffff;
  --ev-verified-bg: #ecfdf5; --ev-verified-fg: #065f46; --ev-verified-border: #a7f3d0;
  --ev-proof-bg: #eef2ff; --ev-proof-fg: #3730a3; --ev-proof-border: #c7d2fe;
  --ev-pract-bg: #fffbeb; --ev-pract-fg: #92400e; --ev-pract-border: #fde68a;
  --ev-unver-bg: #fef2f2; --ev-unver-fg: #991b1b; --ev-unver-border: #fecaca;
  --p5-bg: #dc2626; --p5-fg: #ffffff; --p4-bg: #ea580c; --p4-fg: #ffffff;
  --p3-bg: #f59e0b; --p3-fg: #1c1917; --plow-bg: #e7e7e2; --plow-fg: #444440;
  --tag-bg: #f0f0eb; --tag-fg: #454542;
  --spec-bg: #e0f2fe; --spec-fg: #0369a1; --spec-border: #bae6fd;
  --milestone: #0284c7;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #111110; --fg: #ecece8; --muted: #9b9b94; --card: #191918; --line: #2d2d2a;
    --accent: #38bdf8; --accent-fg: #082f49;
    --ev-verified-bg: #064e3b; --ev-verified-fg: #a7f3d0; --ev-verified-border: #047857;
    --ev-proof-bg: #1e1b4b; --ev-proof-fg: #c7d2fe; --ev-proof-border: #3730a3;
    --ev-pract-bg: #451a03; --ev-pract-fg: #fde68a; --ev-pract-border: #78350f;
    --ev-unver-bg: #450a0a; --ev-unver-fg: #fecaca; --ev-unver-border: #7f1d1d;
    --p5-bg: #ef4444; --p5-fg: #1f0404; --p4-bg: #f97316; --p4-fg: #230802;
    --p3-bg: #fbbf24; --p3-fg: #261601; --plow-bg: #2e2e2a; --plow-fg: #b0b0a8;
    --tag-bg: #262624; --tag-fg: #d4d4cc;
    --spec-bg: #0c4a6e; --spec-fg: #7dd3fc; --spec-border: #075985;
    --milestone: #38bdf8;
  }
}
* { box-sizing: border-box; margin: 0; padding: 0; }
body { background: var(--bg); color: var(--fg); font: 15px/1.55 system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif; }
.wrap { max-width: 1280px; margin: 0 auto; padding: 16px 20px 48px; }
header.top { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 10px 16px; margin-bottom: 12px; }
.brand-wrap { display: flex; align-items: center; gap: 12px; }
.brand-logo { width: 38px; height: 38px; flex-shrink: 0; border-radius: 9px; }
.brand { display: flex; align-items: center; gap: 8px; }
.brand-badge { font-family: ui-monospace, monospace; font-size: 0.72rem; font-weight: 700; background: var(--accent); color: var(--accent-fg); padding: 2px 7px; border-radius: 6px; letter-spacing: 0.05em; }
h1 { font-size: 1.32rem; font-weight: 700; letter-spacing: -0.01em; }
.subline { color: var(--muted); font-size: 0.83rem; margin-top: 2px; }
.subline strong { color: var(--fg); }
.top-right { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; }
.views-nav { display: inline-flex; border-bottom: 1px solid var(--line); gap: 2px; }
.view-btn { background: none; border: none; border-bottom: 2px solid transparent; color: var(--muted); font: inherit; font-size: 0.86rem; font-weight: 600; padding: 6px 10px; cursor: pointer; }
.view-btn[aria-current="true"] { color: var(--fg); border-bottom-color: var(--accent); }
.shortcuts-hint { font-size: 0.78rem; color: var(--muted); background: var(--card); border: 1px solid var(--line); padding: 4px 10px; border-radius: 6px; }
kbd { font-family: inherit; font-size: 0.72rem; background: var(--tag-bg); border: 1px solid var(--line); padding: 1px 4px; border-radius: 4px; }
.lab-radar { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 8px; background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 10px 14px; margin-bottom: 16px; }
.radar-item { display: flex; align-items: center; gap: 8px; font-size: 0.82rem; min-width: 0; }
.radar-dot { width: 7px; height: 7px; border-radius: 50%; flex-shrink: 0; }
.radar-dot.live { background: #10b981; box-shadow: 0 0 6px rgba(16, 185, 129, 0.5); }
.radar-dot.warning { background: #f59e0b; }
.radar-lab { font-weight: 700; color: var(--fg); white-space: nowrap; }
.radar-text { color: var(--muted); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.radar-text strong { color: var(--fg); font-weight: 600; }
.streams { display: flex; flex-wrap: wrap; gap: 6px; border-bottom: 1px solid var(--line); padding-bottom: 12px; margin-bottom: 14px; }
.stream-tab { background: var(--card); border: 1px solid var(--line); color: var(--muted); padding: 7px 13px; border-radius: 9px; font-size: 0.88rem; font-weight: 600; cursor: pointer; white-space: nowrap; display: inline-flex; align-items: center; gap: 6px; }
.stream-tab:hover { color: var(--fg); border-color: var(--muted); }
.stream-tab[aria-pressed="true"] { background: var(--accent); border-color: var(--accent); color: var(--accent-fg); }
.tab-count { font-size: 0.74rem; padding: 1px 6px; border-radius: 999px; background: var(--tag-bg); color: var(--tag-fg); font-variant-numeric: tabular-nums; }
.stream-tab[aria-pressed="true"] .tab-count { background: rgba(255, 255, 255, 0.25); color: inherit; }
.controls { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; margin-bottom: 14px; }
.search-box { flex: 1 1 260px; }
.search-input { width: 100%; padding: 8px 12px; border-radius: 9px; border: 1px solid var(--line); background: var(--card); color: var(--fg); font: inherit; font-size: 0.9rem; }
.search-input:focus-visible { outline: 2px solid var(--accent); }
.btn-group { display: inline-flex; border: 1px solid var(--line); border-radius: 999px; overflow: hidden; background: var(--card); }
.btn-group button { background: transparent; border: none; padding: 6px 14px; font: inherit; font-size: 0.85rem; color: var(--muted); cursor: pointer; }
.btn-group button+button { border-left: 1px solid var(--line); }
.btn-group button[aria-pressed="true"] { background: var(--accent); color: var(--accent-fg); font-weight: 600; }
.chip { background: var(--card); border: 1px solid var(--line); color: var(--fg); padding: 5px 12px; border-radius: 999px; font: inherit; font-size: 0.82rem; cursor: pointer; display: inline-flex; align-items: center; gap: 6px; }
.chip[aria-pressed="true"] { background: var(--accent); border-color: var(--accent); color: var(--accent-fg); font-weight: 600; }
.date-jump { font: inherit; font-size: 0.82rem; padding: 5px 10px; border-radius: 8px; border: 1px solid var(--line); background: var(--card); color: var(--fg); }
.toggle-label { display: inline-flex; align-items: center; gap: 6px; font-size: 0.85rem; color: var(--muted); cursor: pointer; }
.toggle-label input { accent-color: var(--accent); }
.evidence-strip { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; margin-bottom: 20px; font-size: 0.82rem; }
.evidence-strip-label { color: var(--muted); text-transform: uppercase; font-size: 0.72rem; letter-spacing: 0.05em; font-weight: 600; margin-right: 4px; }
.date-group { margin-bottom: 28px; scroll-margin-top: 16px; }
.date-header-row { display: flex; justify-content: space-between; align-items: center; border-bottom: 1px solid var(--line); padding-bottom: 6px; margin-bottom: 12px; }
.date-header { font-size: 0.95rem; font-weight: 700; color: var(--muted); }
.btn-mark-day { background: var(--card); border: 1px solid var(--line); color: var(--muted); font: inherit; font-size: 0.76rem; font-weight: 600; padding: 3px 10px; border-radius: 999px; cursor: pointer; }
.btn-mark-day:hover { border-color: var(--accent); color: var(--accent); }
.card-grid { list-style: none; display: grid; grid-template-columns: repeat(auto-fill, minmax(min(100%, 540px), 1fr)); gap: 12px; align-items: start; }
.item { background: var(--card); border: 1px solid var(--line); border-radius: 12px; padding: 14px 16px; position: relative; transition: border-color 0.15s; }
.item:hover { border-color: var(--accent); }
.item.is-focused { border-color: var(--accent); outline: 2px solid var(--accent); outline-offset: 2px; }
.item.is-milestone { border-left: 4px solid var(--milestone); }
.item[data-read="true"] { opacity: 0.58; }
.item[data-read="true"] .item-title a { color: var(--muted); }
.card-meta { display: flex; flex-wrap: wrap; gap: 6px 8px; align-items: center; font-size: 0.78rem; margin-bottom: 8px; padding-right: 32px; }
.badge-prio { font-weight: 700; padding: 1px 7px; border-radius: 999px; font-variant-numeric: tabular-nums; }
.prio-5 { background: var(--p5-bg); color: var(--p5-fg); }
.prio-4 { background: var(--p4-bg); color: var(--p4-fg); }
.prio-3 { background: var(--p3-bg); color: var(--p3-fg); }
.prio-low { background: var(--plow-bg); color: var(--plow-fg); }
.badge-milestone { color: var(--milestone); font-weight: 700; text-transform: uppercase; font-size: 0.7rem; letter-spacing: 0.05em; }
.pill-source, .pill-category, .badge-spec { cursor: pointer; }
.pill-source:hover, .pill-category:hover, .badge-spec:hover { opacity: 0.8; text-decoration: underline; }
.pill-source { font-weight: 600; color: var(--fg); background: none; border: none; font: inherit; padding: 0; }
.pill-category { background: var(--tag-bg); color: var(--tag-fg); padding: 1px 8px; border-radius: 999px; border: none; font: inherit; }
.badge-spec { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 0.72rem; font-weight: 600; background: var(--spec-bg); color: var(--spec-fg); border: 1px solid var(--spec-border); padding: 0 7px; border-radius: 5px; }
.badge-evidence { padding: 1px 8px; border-radius: 999px; border: 1px solid transparent; font-weight: 600; font-size: 0.74rem; display: inline-flex; align-items: center; gap: 4px; }
.ev-verified_docs { background: var(--ev-verified-bg); color: var(--ev-verified-fg); border-color: var(--ev-verified-border); }
.ev-formal_proof { background: var(--ev-proof-bg); color: var(--ev-proof-fg); border-color: var(--ev-proof-border); }
.ev-practitioner { background: var(--ev-pract-bg); color: var(--ev-pract-fg); border-color: var(--ev-pract-border); }
.ev-unverified { background: var(--ev-unver-bg); color: var(--ev-unver-fg); border-color: var(--ev-unver-border); }
.btn-save { position: absolute; top: 10px; right: 10px; width: 32px; height: 32px; background: none; border: none; color: var(--muted); cursor: pointer; display: grid; place-items: center; border-radius: 6px; }
.btn-save:hover { background: var(--tag-bg); color: var(--fg); }
.btn-save[aria-pressed="true"] { color: var(--accent); }
.btn-save[aria-pressed="true"] svg { fill: currentColor; }
.item-title { font-size: 1.05rem; font-weight: 600; line-height: 1.35; margin-bottom: 6px; }
.item-title a { color: var(--fg); text-decoration: none; }
.item-title a:hover { text-decoration: underline; }
.item-summary { font-size: 0.92rem; color: var(--muted); line-height: 1.5; margin-bottom: 10px; }
.item-impact { font-size: 0.88rem; line-height: 1.5; padding: 8px 12px; background: var(--tag-bg); border-left: 3px solid var(--accent); border-radius: 0 6px 6px 0; margin-bottom: 10px; }
.impact-label { font-weight: 700; color: var(--fg); font-size: 0.75rem; text-transform: uppercase; letter-spacing: 0.04em; display: block; margin-bottom: 2px; }
.related-coverage { display: flex; flex-wrap: wrap; align-items: center; gap: 6px; margin-bottom: 10px; padding-top: 2px; font-size: 0.78rem; }
.related-label { color: var(--muted); font-weight: 600; font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.04em; }
.related-link { background: var(--tag-bg); color: var(--fg); text-decoration: none; padding: 2px 8px; border-radius: 6px; border: 1px solid var(--line); font-weight: 500; display: inline-flex; align-items: center; gap: 4px; }
.related-link:hover { border-color: var(--accent); color: var(--accent); }
.card-actions { display: flex; justify-content: space-between; align-items: center; font-size: 0.82rem; color: var(--muted); border-top: 1px solid var(--line); padding-top: 8px; }
.read-toggle { display: inline-flex; align-items: center; gap: 6px; cursor: pointer; }
.read-toggle input { accent-color: var(--accent); }
.card-timestamp { font-variant-numeric: tabular-nums; }
.archive-prompt { text-align: center; margin-top: 24px; padding: 14px; background: var(--card); border: 1px solid var(--line); border-radius: 10px; font-size: 0.88rem; color: var(--muted); }
.archive-prompt button { background: none; border: none; color: var(--accent); font: inherit; font-weight: 700; text-decoration: underline; cursor: pointer; margin-left: 6px; }
.empty-state { text-align: center; color: var(--muted); padding: 40px 0; font-size: 0.95rem; }
.toast { position: fixed; bottom: 20px; left: 50%; transform: translateX(-50%); background: var(--fg); color: var(--bg); padding: 8px 16px; border-radius: 8px; font-size: 0.85rem; font-weight: 500; box-shadow: 0 4px 12px rgba(0,0,0,0.15); pointer-events: none; opacity: 0; transition: opacity 0.2s ease; z-index: 50; }
.toast.visible { opacity: 1; }

/* Radar Hover Tooltips */
.radar-item { position: relative; cursor: help; }
.radar-item[data-tooltip]::after {
  content: attr(data-tooltip);
  position: absolute;
  bottom: calc(100% + 8px);
  left: 50%;
  transform: translateX(-50%) translateY(4px);
  background: #0f172a;
  color: #f8fafc;
  border: 1px solid var(--accent, #38bdf8);
  border-radius: 8px;
  padding: 6px 10px;
  font-size: 0.78rem;
  line-height: 1.35;
  white-space: normal;
  width: max-content;
  max-width: 300px;
  box-shadow: 0 8px 24px rgba(0, 0, 0, 0.45);
  opacity: 0;
  pointer-events: none;
  transition: opacity 0.15s ease, transform 0.15s ease;
  z-index: 9999;
}
.radar-item[data-tooltip]:hover::after {
  opacity: 1;
  transform: translateX(-50%) translateY(0);
}