:root {
  --bg: #f6f7fb;
  --card: #ffffff;
  --text: #1f2430;
  --muted: #6b7280;
  --border: #e5e7eb;
  --accent: #4f46e5;
  --accent-soft: #eef2ff;
  --radius: 10px;
  --shadow: 0 1px 3px rgba(16, 24, 40, 0.08);
  --font: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  --mono: ui-monospace, SFMono-Regular, "Cascadia Code", Consolas, Menlo, monospace;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  font-family: var(--font);
  color: var(--text);
  background: var(--bg);
  line-height: 1.55;
}

a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }

/* ---------- Header / nav ---------- */
header {
  background: linear-gradient(120deg, #312e81, #4f46e5 60%, #6366f1);
  color: #fff;
}
nav {
  display: flex;
  align-items: center;
  gap: 4px;
  max-width: 1100px;
  margin: 0 auto;
  padding: 0 20px;
  flex-wrap: wrap;
}
nav a {
  color: rgba(255, 255, 255, 0.85);
  padding: 14px 14px;
  font-size: 0.95rem;
  border-radius: 6px 6px 0 0;
}
nav a:hover { color: #fff; background: rgba(255, 255, 255, 0.12); text-decoration: none; }
nav a.active { color: #fff; background: rgba(255, 255, 255, 0.18); font-weight: 600; }
nav .brand {
  font-weight: 700;
  font-size: 1.05rem;
  margin-right: 14px;
  color: #fff;
}
nav .spacer { flex: 1; }
nav .gh {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  border: 1px solid rgba(255, 255, 255, 0.4);
  border-radius: 999px;
  padding: 6px 14px;
  margin-left: 8px;
  font-size: 0.85rem;
}
nav .gh:hover { background: rgba(255, 255, 255, 0.15); text-decoration: none; }
.github-icon { width: 16px; height: 16px; flex: 0 0 auto; }

/* ---------- Hero ---------- */
.hero {
  max-width: 1100px;
  margin: 0 auto;
  padding: 44px 20px 28px;
  color: #fff;
}
.hero h1 { margin: 0 0 8px; font-size: 2rem; }
.hero p { margin: 0; color: rgba(255, 255, 255, 0.85); max-width: 720px; }
.problem-hero {
  border-top: 1px solid rgba(255, 255, 255, 0.2);
  padding-top: 28px;
  padding-bottom: 20px;
}
.problem-hero h1 { font-size: 1.65rem; margin: 0; }

/* ---------- Layout ---------- */
main { max-width: 1100px; margin: 0 auto; padding: 24px 20px 60px; }

.stat-row {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
  gap: 12px;
  margin-bottom: 28px;
}
.stat-groups {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
  gap: 14px;
  margin-bottom: 28px;
}
.stat-group {
  background: var(--card);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 14px 16px;
  box-shadow: var(--shadow);
}
.stat-group-title {
  font-size: 0.78rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--muted);
  margin-bottom: 12px;
}
.stat-group .stat-row {
  grid-template-columns: repeat(auto-fit, minmax(130px, 1fr));
  margin-bottom: 0;
}
.stat {
  background: var(--card);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 14px 16px;
  box-shadow: var(--shadow);
}
.stat .num { font-size: 1.6rem; font-weight: 700; }
.stat .lbl { color: var(--muted); font-size: 0.85rem; }

/* ---------- Filters ---------- */
.controls {
  display: flex;
  gap: 10px;
  flex-wrap: wrap;
  margin-bottom: 18px;
}
.controls input[type="search"] {
  flex: 1;
  min-width: 220px;
  padding: 9px 12px;
  border: 1px solid var(--border);
  border-radius: 8px;
  font-size: 0.95rem;
  font-family: inherit;
}
.controls select {
  padding: 9px 10px;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--card);
  font-size: 0.9rem;
  font-family: inherit;
  color: var(--text);
}
.controls select:focus, .controls input:focus { outline: 2px solid var(--accent-soft); border-color: var(--accent); }

.result-count { color: var(--muted); font-size: 0.9rem; margin: 0 0 12px; }

/* ---------- Cards ---------- */
.cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(320px, 1fr));
  gap: 14px;
}
.card {
  background: var(--card);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 16px 18px;
  box-shadow: var(--shadow);
  display: flex;
  flex-direction: column;
  gap: 10px;
}
.card h3 { margin: 0; font-size: 1.02rem; }
.card h3 a { color: var(--text); }
.card h3 a:hover { color: var(--accent); text-decoration: none; }
.card .desc {
  color: var(--muted);
  font-size: 0.88rem;
  margin: 0;
  flex: 1;
}
.card .meta { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
.card .meta .muted { color: var(--muted); font-size: 0.82rem; }
.card .card-foot {
  display: flex;
  align-items: center;
  gap: 8px;
  flex-wrap: wrap;
  font-size: 0.82rem;
  border-top: 1px solid var(--border);
  padding-top: 10px;
}
.card .card-foot .muted { color: var(--muted); }
.card .card-foot .badge { margin-left: auto; }

/* ---------- Badges ---------- */
.badge {
  display: inline-block;
  padding: 2px 10px;
  border-radius: 999px;
  font-size: 0.75rem;
  font-weight: 600;
  color: #fff;
  white-space: nowrap;
}
.badge.plain {
  background: #6b7280;
}
.badge.outline {
  background: transparent;
  border: 1px solid var(--border);
  color: var(--muted);
}

/* ---------- Sections ---------- */
.section { margin-bottom: 40px; }
.section h2 {
  font-size: 1.25rem;
  margin: 0 0 14px;
  padding-bottom: 8px;
  border-bottom: 2px solid var(--border);
}

/* ---------- Matrix ---------- */
.matrix-wrap { overflow-x: auto; }
table.matrix {
  border-collapse: collapse;
  font-size: 0.85rem;
}
table.matrix th, table.matrix td {
  border: 1px solid var(--border);
  padding: 6px 10px;
  text-align: center;
}
table.matrix th { background: var(--card); font-weight: 600; }
table.matrix td.cell-id { text-align: left; font-family: var(--mono); font-size: 0.8rem; }
table.matrix td.cell-id a { color: var(--text); }
table.matrix td.cell-cat { text-align: left; }
table.matrix td.yes { background: #dcfce7; color: #166534; font-weight: 700; }
table.matrix td.no { color: #d1d5db; }

/* ---------- Problem page ---------- */
.breadcrumbs { font-size: 0.88rem; color: var(--muted); margin-bottom: 14px; }
.problem-title { margin: 0 0 10px; font-size: 1.7rem; }
.tag-row { display: flex; gap: 8px; flex-wrap: wrap; margin-bottom: 22px; }

.card-box {
  background: var(--card);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 18px 20px;
  box-shadow: var(--shadow);
  margin-bottom: 18px;
}
.card-box h3 { margin: 0 0 10px; font-size: 1.02rem; }

/* ---------- Markdown description ---------- */
.md-desc { margin: 0; font-size: 0.95rem; }
.md-desc p:first-child { margin-top: 0; }
.md-desc p:last-child { margin-bottom: 0; }
.md-desc ul, .md-desc ol { padding-left: 22px; margin: 8px 0; }
.md-desc h1, .md-desc h2, .md-desc h3, .md-desc h4 { margin: 14px 0 8px; }
.md-desc h3, .md-desc h4 { font-size: 1.05rem; }
.md-desc code {
  background: var(--accent-soft);
  padding: 1px 6px;
  border-radius: 5px;
  font-family: var(--mono);
  font-size: 0.85em;
}
.md-desc pre {
  background: #0f172a;
  color: #e2e8f0;
  padding: 14px;
  border-radius: 8px;
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 0.85rem;
  line-height: 1.5;
}
.md-desc pre code { background: none; padding: 0; color: inherit; }
.md-desc blockquote {
  margin: 8px 0;
  padding: 2px 14px;
  border-left: 3px solid var(--border);
  color: var(--muted);
}

.provenance dl {
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 6px 18px;
  margin: 0;
  font-size: 0.92rem;
}
.provenance dt { color: var(--muted); font-weight: 600; }
.provenance dd { margin: 0; word-break: break-word; }

/* ---------- Tabs ---------- */
.tab-bar { display: flex; gap: 6px; border-bottom: 2px solid var(--border); margin-bottom: 0; flex-wrap: wrap; }
.model-tab-bar { align-items: center; }
.generated-model-tab-group {
  display: flex;
  flex: 1 1 auto;
  min-width: 0;
  align-items: center;
  margin-left: 4px;
}
.model-tab-separator {
  width: 1px;
  height: 20px;
  flex: 0 0 1px;
  margin: 0 10px 0 2px;
  background: var(--border);
}
.generated-model-tab-label {
  flex: 0 0 auto;
  margin-right: 2px;
  color: var(--muted);
  font-size: 0.78rem;
  font-weight: 600;
  line-height: 1.2;
  white-space: nowrap;
}
.generated-model-tab-row {
  display: flex;
  flex: 1 1 auto;
  min-width: 0;
  flex-wrap: wrap;
  gap: 6px;
}
.generated-model-tab-row .tab-btn { white-space: nowrap; }
.tab-btn {
  border: none;
  background: transparent;
  padding: 10px 16px;
  font-size: 0.95rem;
  font-family: inherit;
  color: var(--muted);
  cursor: pointer;
  border-bottom: 2px solid transparent;
  margin-bottom: -2px;
}
.tab-btn:hover { color: var(--text); }
.tab-btn.active { color: var(--accent); font-weight: 600; border-bottom-color: var(--accent); }
.reference-model-tab {
  color: var(--text);
  font-weight: 600;
}
.reference-model-tab.active {
  background: var(--accent-soft);
  border-radius: 7px 7px 0 0;
  color: var(--accent);
  font-weight: 700;
}
.tab-pane {
  display: none;
  padding: 18px 20px;
  background: var(--card);
  border: 1px solid var(--border);
  border-top: none;
  border-radius: 0 0 var(--radius) var(--radius);
  box-shadow: var(--shadow);
}
.tab-pane.active { display: block; }

/* ---------- Copy buttons ---------- */
button.copy-mini {
  background: var(--card);
  border: 1px solid var(--border);
  color: var(--muted);
  border-radius: 6px;
  padding: 2px 10px;
  font-size: 0.75rem;
  cursor: pointer;
  margin-right: 10px;
  font-family: var(--font);
  transition: background 0.2s, color 0.2s, border-color 0.2s;
}
button.copy-mini:hover { color: var(--accent); border-color: var(--accent); }
button.copy-mini.copied { background: #dcfce7; color: #166534; border-color: #16a34a; }
.code-head button.copied { background: #16a34a; color: #fff; }

/* ---------- Code ---------- */
pre.code-block {
  background: #0f172a;
  color: #e2e8f0;
  padding: 16px;
  border-radius: 8px;
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 0.85rem;
  line-height: 1.5;
  margin: 0;
}
pre.code-block code { font-family: inherit; background: none; padding: 0; }
.code-head + pre.code-block { border-radius: 0 0 8px 8px; }
.code-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  background: #0b1220;
  border-radius: 8px 8px 0 0;
  padding: 8px 14px;
  font-family: var(--mono);
  font-size: 0.8rem;
  color: #94a3b8;
}
.code-head button {
  background: rgba(255, 255, 255, 0.12);
  color: #e2e8f0;
  border: none;
  border-radius: 6px;
  padding: 4px 12px;
  font-size: 0.78rem;
  cursor: pointer;
  font-family: var(--font);
}
.code-head button:hover { background: rgba(255, 255, 255, 0.22); }

details.instance { border: 1px solid var(--border); border-radius: 8px; margin-bottom: 10px; background: var(--card); }
details.instance > summary {
  cursor: pointer;
  padding: 10px 14px;
  font-family: var(--mono);
  font-size: 0.85rem;
  user-select: none;
  list-style: none;
  display: flex;
  align-items: center;
  gap: 10px;
}
details.instance > summary::-webkit-details-marker { display: none; }
details.instance > summary::before {
  content: "▶";
  font-size: 0.7rem;
  color: var(--accent);
  transition: transform 0.15s ease;
}
details.instance[open] > summary::before { transform: rotate(90deg); }
details.instance > summary:hover { background: var(--accent-soft); }
details.instance pre {
  max-height: 420px;
  overflow: auto;
  margin: 0;
  border-top: 1px solid var(--border);
  font-family: var(--mono);
  font-size: 0.8rem;
  background: #f8fafc;
  padding: 12px 14px;
}
details.instance pre code { background: none; padding: 0; }

.chip {
  display: inline-block;
  background: var(--accent-soft);
  color: var(--accent);
  border-radius: 6px;
  padding: 2px 10px;
  font-family: var(--mono);
  font-size: 0.8rem;
  margin: 0 6px 6px 0;
}
.chip-row { margin-bottom: 8px; }

/* ---------- Instances section ---------- */
details.instances-box > summary {
  cursor: pointer;
  user-select: none;
  display: flex;
  align-items: center;
  gap: 12px;
  flex-wrap: wrap;
  list-style: none;
}
details.instances-box > summary::-webkit-details-marker { display: none; }
details.instances-box > summary::before {
  content: "▶";
  font-size: 0.7rem;
  color: var(--accent);
  transition: transform 0.15s ease;
}
details.instances-box[open] > summary::before { transform: rotate(90deg); }
details.instances-box > summary h3 { margin: 0; }
details.instances-box[open] > summary { margin-bottom: 16px; }

details.instance .tab-group { margin-top: 10px; }
details.instance pre.code-block {
  background: #0f172a;
  color: #e2e8f0;
  border-top: none;
  padding: 16px;
  font-size: 0.85rem;
  line-height: 1.5;
}
details.instance .tab-pane { padding: 14px 16px; }

/* ---------- Page sections ---------- */
.page-section { margin-bottom: 22px; }
.page-section > h2 {
  font-size: 1.25rem;
  margin: 0 0 14px;
  padding-bottom: 8px;
  border-bottom: 2px solid var(--border);
}

/* ---------- Generated model cards ---------- */
.model-card {
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: var(--card);
  padding: 14px 18px;
  margin-bottom: 14px;
  box-shadow: var(--shadow);
}
.model-card-head {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  gap: 12px;
  margin-bottom: 8px;
}
.model-card-title {
  font-weight: 600;
  font-family: var(--mono);
  font-size: 0.98rem;
}
.model-card .muted { color: var(--muted); font-size: 0.85rem; }
.model-card-links { margin-top: 10px; font-size: 0.85rem; }
details.gmodel {
  margin-top: 10px;
  border-top: 1px solid var(--border);
  padding-top: 8px;
}
details.gmodel summary {
  cursor: pointer;
  font-family: var(--mono);
  font-size: 0.83rem;
  color: var(--muted);
  user-select: none;
}
details.gmodel summary:hover { color: var(--accent); }
details.gmodel pre { max-height: 420px; overflow: auto; margin-top: 10px; }
.verdict-legend .badge { margin-right: 6px; }
.tab-group .tab-group { margin-top: 4px; }

.gen-fw-item {
  display: flex;
  align-items: center;
  gap: 10px;
  padding: 9px 2px;
  border-bottom: 1px solid var(--border);
  font-size: 0.92rem;
}
.gen-fw-item:last-child { border-bottom: none; }
.gen-fw-item .mono { font-family: var(--mono); font-size: 0.82rem; }
.gen-fw-item .gen-fw-badge { margin-left: auto; }

.btn {
  display: inline-block;
  background: var(--card);
  border: 1px solid var(--border);
  color: var(--text);
  border-radius: 8px;
  padding: 8px 14px;
  font-size: 0.9rem;
}
.btn:hover { border-color: var(--accent); color: var(--accent); text-decoration: none; }

/* ---------- Tables (stats) ---------- */
.chart {
  background: var(--card);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 18px 20px;
  box-shadow: var(--shadow);
  margin-bottom: 18px;
}
.chart svg text { font-family: var(--font); }

table.plain {
  border-collapse: collapse;
  width: 100%;
  background: var(--card);
  font-size: 0.92rem;
}
table.plain th, table.plain td {
  border: 1px solid var(--border);
  padding: 8px 12px;
  text-align: left;
}

/* ---------- Catalogue controls and list view ---------- */
.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}
.controls {
  align-items: flex-end;
  background: var(--card);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 14px;
  box-shadow: var(--shadow);
}
.controls label { display: flex; flex-direction: column; gap: 4px; }
.controls label > span {
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.controls .search-field { flex: 1 1 260px; }
.controls .search-field input { width: 100%; min-width: 0; }
.controls .sort-field { flex-basis: 170px; }
.controls .view-toggle { margin-left: auto; }
.filter-menu { position: relative; flex: 0 1 170px; }
.filter-menu[data-filter-menu="framework"] { flex-basis: 230px; }
.filter-trigger {
  width: 100%;
  min-height: 39px;
  padding: 9px 30px 9px 11px;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--card);
  color: var(--text);
  font: inherit;
  font-size: 0.9rem;
  text-align: left;
  cursor: pointer;
  position: relative;
}
.filter-trigger::after {
  content: "⌄";
  position: absolute;
  right: 11px;
  color: var(--muted);
}
.filter-menu.open .filter-trigger { border-color: var(--accent); outline: 2px solid var(--accent-soft); }
.filter-options {
  display: none;
  position: absolute;
  z-index: 5;
  top: calc(100% + 6px);
  left: 0;
  min-width: 100%;
  padding: 8px;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--card);
  box-shadow: 0 8px 24px rgba(16, 24, 40, 0.14);
}
.filter-menu.open .filter-options { display: grid; gap: 2px; }
.filter-options label {
  display: flex;
  align-items: center;
  flex-direction: row;
  gap: 8px;
  min-height: 32px;
  padding: 4px 6px;
  border-radius: 6px;
  white-space: nowrap;
  cursor: pointer;
  font-size: 0.88rem;
}
.filter-options label:hover { background: var(--accent-soft); }
.filter-options input { accent-color: var(--accent); }
.view-toggle {
  display: inline-flex;
  border: 1px solid var(--border);
  border-radius: 8px;
  overflow: hidden;
  background: var(--bg);
}
.view-btn {
  border: none;
  background: transparent;
  color: var(--muted);
  padding: 9px 12px;
  font: inherit;
  font-size: 0.85rem;
  cursor: pointer;
}
.view-btn + .view-btn { border-left: 1px solid var(--border); }
.view-btn:hover { color: var(--text); background: var(--accent-soft); }
.view-btn.active { color: var(--accent); background: var(--accent-soft); font-weight: 700; }
.reset-btn {
  align-self: flex-end;
  min-height: 39px;
  padding: 8px 12px;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--bg);
  color: var(--muted);
  font: inherit;
  font-size: 0.85rem;
  cursor: pointer;
}
.reset-btn:hover { border-color: var(--accent); color: var(--accent); background: var(--accent-soft); }
.results-toolbar {
  display: flex;
  align-items: flex-end;
  justify-content: space-between;
  gap: 14px;
  margin: 0 0 12px;
}
.results-toolbar .result-count { margin: 0; }
.results-actions { display: flex; align-items: flex-end; gap: 10px; }
.results-actions .sort-field { display: flex; flex-direction: column; gap: 4px; min-width: 160px; }
.results-actions .sort-field > span {
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.results-actions select {
  min-width: 160px;
  min-height: 39px;
  padding: 9px 30px 9px 11px;
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--card);
  color: var(--text);
  font: inherit;
  font-size: 0.9rem;
  cursor: pointer;
}
.results-actions select:hover { border-color: #c7c9d6; }
.results-actions select:focus { outline: 2px solid var(--accent-soft); border-color: var(--accent); }
.cards.list-view { display: block; }
.list-header, .list-row {
  display: grid;
  grid-template-columns: minmax(220px, 2.2fr) minmax(110px, 1fr) minmax(90px, 0.65fr) 100px;
  align-items: center;
  gap: 12px;
  padding: 0 16px;
}
.list-header {
  min-height: 42px;
  background: #eef2ff;
  border: 1px solid var(--border);
  border-radius: 8px 8px 0 0;
  color: var(--muted);
  font-size: 0.74rem;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}
.list-row {
  min-height: 52px;
  background: var(--card);
  border: 1px solid var(--border);
  border-top: none;
  font-size: 0.9rem;
}
.list-row:last-child { border-radius: 0 0 8px 8px; }
.list-row:hover { background: #fafaff; }
.list-name { font-family: var(--mono); font-size: 0.84rem; }
.list-cell:nth-child(4) { text-align: right; }
.list-sort {
  border: none;
  padding: 0;
  background: transparent;
  color: inherit;
  font: inherit;
  letter-spacing: inherit;
  text-transform: inherit;
  cursor: pointer;
}
.list-sort:hover { color: var(--accent); }
.empty-state { padding: 18px 0; }
.back-link { display: inline-block; margin-bottom: 18px; font-size: 0.9rem; }

@media (max-width: 720px) {
  .results-toolbar { align-items: stretch; flex-direction: column; }
  .results-actions { justify-content: space-between; }
  .results-actions .sort-field { flex: 1; }
  .list-header, .list-row {
    grid-template-columns: minmax(150px, 2fr) minmax(100px, 1fr) 80px;
  }
  .list-header .list-cell:nth-child(3), .list-row .list-cell:nth-child(3) { display: none; }
}
table.plain th { background: #f1f2f7; font-weight: 600; }
table.plain td.num { text-align: right; font-variant-numeric: tabular-nums; }
table.plain td.mono { font-family: var(--mono); font-size: 0.85rem; }

/* ---------- Footer ---------- */
footer {
  border-top: 1px solid var(--border);
  color: var(--muted);
  font-size: 0.85rem;
  padding: 24px 20px 40px;
  text-align: center;
}

.hidden { display: none !important; }

@media (max-width: 640px) {
  .hero h1 { font-size: 1.5rem; }
  .provenance dl { grid-template-columns: 1fr; gap: 2px 0; }
  .provenance dt { margin-top: 8px; }
  .model-tab-bar { align-items: center; row-gap: 0; }
  .generated-model-tab-group {
    flex-basis: 100%;
    margin-left: 0;
  }
  .model-tab-separator { display: none; }
  .generated-model-tab-row { gap: 2px; }
}