:root {
  --bg: #0d1117;
  --bg-alt: #131a22;
  --panel: #161d26;
  --panel-2: #1b2430;
  --border: #2a3541;
  --text: #d7e0ea;
  --muted: #8595a6;
  --accent: #4aa3ff;
  --built: #35c46a;
  --infeasible: #ff5c5c;
  --partial: #e6b23c;
  --warning: #e6b23c;
  --error: #ff5c5c;
  --mono: "SFMono-Regular", "JetBrains Mono", "Fira Code", Menlo, Consolas, monospace;
}

* {
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  padding: 0;
  height: 100%;
}

body {
  background: var(--bg);
  color: var(--text);
  font-family: var(--mono);
  font-size: 13px;
  line-height: 1.45;
  -webkit-font-smoothing: antialiased;
}

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

a:hover {
  text-decoration: underline;
}

h1,
h2,
h3 {
  margin: 0;
  font-weight: 600;
}

.layout {
  display: grid;
  grid-template-columns: 300px minmax(0, 1fr) 380px;
  grid-template-rows: minmax(0, 1fr) auto;
  grid-template-areas:
    "left view right"
    "timeline timeline timeline";
  height: 100vh;
}

.sidebar-left {
  grid-area: left;
  border-right: 1px solid var(--border);
  background: var(--bg-alt);
  overflow-y: auto;
  padding: 12px;
}

.sidebar-right {
  grid-area: right;
  border-left: 1px solid var(--border);
  background: var(--bg-alt);
  overflow-y: auto;
  display: flex;
  flex-direction: column;
  gap: 12px;
  padding: 12px;
}

.viewport {
  grid-area: view;
  position: relative;
  overflow: hidden;
  background: radial-gradient(circle at 50% 30%, #1a2430 0%, #0a0e13 75%);
}

.viewport canvas {
  display: block;
}

.brand {
  font-size: 15px;
  letter-spacing: 0.04em;
  margin-bottom: 10px;
  color: #fff;
}

.brand span {
  color: var(--muted);
  font-weight: 400;
}

.panel {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 10px;
  margin-bottom: 12px;
}

.panel-title {
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.09em;
  color: var(--muted);
  margin-bottom: 8px;
}

.building-list {
  display: flex;
  flex-direction: column;
  gap: 4px;
  margin-bottom: 12px;
}

.building-item {
  display: block;
  padding: 7px 9px;
  border-radius: 6px;
  border: 1px solid transparent;
  color: var(--text);
  cursor: pointer;
  font-size: 12px;
}

.building-item:hover {
  background: var(--panel-2);
  text-decoration: none;
}

.building-item.active {
  background: #17324a;
  border-color: var(--accent);
}

.building-item .sub {
  display: block;
  color: var(--muted);
  font-size: 11px;
}

.meta-title {
  font-size: 14px;
  color: #fff;
  margin-bottom: 4px;
  word-break: break-word;
}

.meta-row {
  display: flex;
  justify-content: space-between;
  gap: 8px;
  padding: 3px 0;
  border-bottom: 1px dashed #212c38;
}

.meta-row:last-child {
  border-bottom: none;
}

.meta-label {
  color: var(--muted);
}

.meta-value {
  text-align: right;
  word-break: break-word;
}

.meta-block {
  margin-top: 8px;
}

.meta-block-title {
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  margin-bottom: 4px;
}

.badge {
  display: inline-block;
  padding: 1px 7px;
  border-radius: 999px;
  font-size: 11px;
  font-weight: 600;
  border: 1px solid currentColor;
}

.badge-built {
  color: var(--built);
}

.badge-infeasible {
  color: var(--infeasible);
}

.badge-partial {
  color: var(--partial);
}

.badge-unknown {
  color: var(--muted);
}

.badge-error {
  color: var(--error);
}

.badge-warning {
  color: var(--warning);
}

.log-list {
  display: flex;
  flex-direction: column;
  gap: 8px;
  max-height: 44vh;
  overflow-y: auto;
}

.log-entry {
  border-left: 2px solid #2f3d4c;
  padding-left: 8px;
}

.log-step {
  color: var(--accent);
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.06em;
}

.log-message {
  color: var(--text);
}

.log-data {
  margin: 4px 0 0;
  padding: 6px;
  background: #0b1016;
  border: 1px solid var(--border);
  border-radius: 5px;
  color: #9fd3ff;
  font-size: 11px;
  max-height: 180px;
  overflow: auto;
  white-space: pre-wrap;
  word-break: break-word;
}

.violation-focus-msg {
  color: var(--infeasible);
  min-height: 16px;
  font-size: 12px;
  margin-bottom: 6px;
}

.violation-group {
  margin-bottom: 10px;
}

.violation-group-title {
  display: flex;
  justify-content: space-between;
  gap: 8px;
  color: var(--muted);
  font-size: 11px;
  margin-bottom: 4px;
}

.violation-item {
  padding: 6px 8px;
  border-radius: 5px;
  background: var(--panel-2);
  border: 1px solid var(--border);
  margin-bottom: 4px;
  cursor: pointer;
}

.violation-item:hover {
  border-color: var(--infeasible);
}

.violation-item .code {
  color: var(--infeasible);
  font-weight: 600;
  margin-right: 6px;
}

.violation-item.warning .code {
  color: var(--warning);
}

.timeline-bar {
  grid-area: timeline;
  border-top: 1px solid var(--border);
  background: var(--bg-alt);
  padding: 8px 14px;
  display: flex;
  align-items: center;
  gap: 16px;
  flex-wrap: wrap;
}

.metrics {
  display: flex;
  gap: 18px;
  flex-wrap: wrap;
}

.metric {
  display: flex;
  flex-direction: column;
}

.metric-label {
  color: var(--muted);
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

.metric-value {
  color: #fff;
  font-size: 14px;
}

.timeline {
  display: flex;
  align-items: center;
  gap: 10px;
  flex: 1;
  min-width: 240px;
}

.timeline input[type="range"] {
  flex: 1;
  accent-color: var(--accent);
}

.timeline-label {
  color: var(--accent);
  min-width: 70px;
  text-align: right;
}

.hud {
  position: absolute;
  top: 10px;
  right: 10px;
  display: flex;
  gap: 6px;
}

.hud button,
.btn {
  background: var(--panel-2);
  color: var(--text);
  border: 1px solid var(--border);
  border-radius: 6px;
  padding: 5px 10px;
  font-family: inherit;
  font-size: 12px;
  cursor: pointer;
}

.hud button:hover,
.btn:hover {
  border-color: var(--accent);
}

.overlay {
  position: absolute;
  inset: 0;
  display: flex;
  align-items: center;
  justify-content: center;
  text-align: center;
  padding: 24px;
  color: var(--muted);
}

.overlay .card {
  background: rgba(13, 17, 23, 0.9);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 20px 24px;
  max-width: 460px;
}

.overlay h2 {
  color: #fff;
  margin-bottom: 8px;
}

.error-text {
  color: var(--infeasible);
}

[hidden] {
  display: none !important;
}

.gallery {
  max-width: 1200px;
  margin: 0 auto;
  padding: 22px 18px 60px;
}

.gallery-header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 16px;
  margin-bottom: 14px;
}

.gallery-header h1 {
  font-size: 20px;
  color: #fff;
}

.filters {
  margin-bottom: 14px;
}

.filters input {
  width: 100%;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 7px;
  padding: 9px 11px;
  color: var(--text);
  font-family: inherit;
  font-size: 13px;
}

.filters input:focus {
  outline: none;
  border-color: var(--accent);
}

.summary {
  display: flex;
  gap: 12px;
  flex-wrap: wrap;
  margin-bottom: 18px;
}

.summary-card {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 10px 16px;
  min-width: 110px;
}

.summary-count {
  font-size: 22px;
  color: #fff;
}

.summary-label {
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.07em;
}

.runs-table {
  width: 100%;
  border-collapse: collapse;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 8px;
  overflow: hidden;
}

.runs-table th,
.runs-table td {
  text-align: left;
  padding: 8px 10px;
  border-bottom: 1px solid var(--border);
  vertical-align: top;
}

.runs-table th {
  background: var(--panel-2);
  color: var(--muted);
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  position: sticky;
  top: 0;
}

.runs-table tr:last-child td {
  border-bottom: none;
}

.runs-table tr.run-row:hover td {
  background: #19222c;
}

.muted {
  color: var(--muted);
}

.numbers {
  display: flex;
  gap: 10px;
  flex-wrap: wrap;
  margin-top: 6px;
}

.number-chip {
  background: #0b1016;
  border: 1px solid var(--border);
  border-radius: 5px;
  padding: 3px 8px;
  font-size: 11px;
}

.number-chip b {
  color: #fff;
}

.expand-btn {
  background: none;
  border: none;
  color: var(--accent);
  font-family: inherit;
  font-size: 12px;
  cursor: pointer;
  padding: 0;
}

@media (max-width: 1000px) {
  .layout {
    grid-template-columns: 1fr;
    grid-template-rows: auto minmax(420px, 1fr) auto auto;
    grid-template-areas:
      "left"
      "view"
      "right"
      "timeline";
    height: auto;
    min-height: 100vh;
  }

  .sidebar-left,
  .sidebar-right {
    border: none;
    border-bottom: 1px solid var(--border);
  }

  .log-list {
    max-height: 320px;
  }
}