/* Galactic Key Interface Calculus Studio — Token-pure stylesheet (zero hex literals; all colours from theme.css) */
*, *::before, *::after {
  box-sizing: border-box;
}

html, body {
  margin: 0;
  padding: 0;
  background: var(--gk-void-navy);
  color: var(--gk-canvas-text);
  font-family: Inter, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  line-height: 1.5;
  -webkit-font-smoothing: antialiased;
  overflow-x: hidden;
}

.skip-link {
  position: absolute;
  left: -9999px;
  top: 8px;
  z-index: 999;
  padding: 10px 16px;
  background: var(--gk-brushed-titanium);
  color: var(--gk-star-white);
  border: 2px solid var(--gk-key-cyan);
  border-radius: 8px;
  text-decoration: none;
  font-weight: 600;
}
.skip-link:focus {
  left: 12px;
}

.studio-shell {
  max-width: 1440px;
  margin-inline: auto;
  padding: 16px 20px 56px;
}

/* Top bar */
.top-masthead {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding-bottom: 14px;
  border-bottom: 1px solid var(--gk-subtle-gray);
  margin-bottom: 18px;
}

.brand-cluster {
  display: flex;
  align-items: center;
  gap: 10px;
}

.brand-mark {
  width: 22px;
  height: 22px;
  flex-shrink: 0;
}

.brand-title {
  font-size: 0.95rem;
  font-weight: 600;
  color: var(--gk-star-white);
  letter-spacing: -0.01em;
}

.brand-pill {
  font-size: 0.75rem;
  font-weight: 600;
  padding: 3px 9px;
  border-radius: 999px;
  background: var(--gk-brushed-titanium);
  border: 1px solid var(--gk-junction-gray);
  color: var(--gk-key-cyan);
}

.masthead-links {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.nav-chip {
  display: inline-flex;
  align-items: center;
  min-height: 44px;
  padding: 6px 12px;
  border-radius: 8px;
  background: var(--gk-dark-titanium);
  border: 1px solid var(--gk-subtle-gray);
  color: var(--gk-bright-aluminum);
  font-size: 0.82rem;
  font-weight: 500;
  text-decoration: none;
}
.nav-chip:hover,
.nav-chip:focus-visible {
  border-color: var(--gk-key-cyan);
  color: var(--gk-star-white);
}

/* Hero / BLUF Summary Card */
.bluf-hero {
  background: var(--gk-dark-titanium);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 14px;
  padding: 20px;
  margin-bottom: 20px;
}

.bluf-eyebrow {
  margin: 0 0 6px;
  font-size: 0.78rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--gk-key-cyan);
}

.bluf-headline {
  margin: 0 0 10px;
  font-size: clamp(1.35rem, 2.5vw, 1.95rem);
  line-height: 1.22;
  color: var(--gk-star-white);
  letter-spacing: -0.02em;
}

.bluf-lead {
  margin: 0 0 16px;
  font-size: 0.96rem;
  color: var(--gk-bright-aluminum);
  max-width: 78ch;
}

.bluf-metrics-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(100%, 240px), 1fr));
  gap: 12px;
  margin-bottom: 16px;
}

.metric-card {
  background: var(--gk-brushed-titanium);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 10px;
  padding: 14px 16px;
}

.metric-card-top {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  margin-bottom: 6px;
}

.metric-card-label {
  font-size: 0.8rem;
  font-weight: 600;
  color: var(--gk-dim-aluminum);
}

.metric-tag {
  font-size: 0.7rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  padding: 2px 7px;
  border-radius: 6px;
  background: var(--gk-void-navy);
  color: var(--gk-readout-green);
  border: 1px solid var(--gk-junction-gray);
}

.metric-big {
  font-family: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 1.32rem;
  font-weight: 700;
  color: var(--gk-star-white);
  margin-bottom: 4px;
}

.metric-sub {
  font-size: 0.8rem;
  color: var(--gk-canvas-text);
  margin: 0;
}

.bluf-sowhat {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(100%, 280px), 1fr));
  gap: 12px;
  padding-top: 12px;
  border-top: 1px solid var(--gk-subtle-gray);
  font-size: 0.86rem;
}

.sowhat-box {
  background: var(--gk-void-navy);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 8px;
  padding: 10px 14px;
}

.sowhat-box strong {
  color: var(--gk-star-white);
}

/* Control Panel (.gk-controls obeying html_icon_law.py) */
.gk-controls {
  background: var(--gk-dark-titanium);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 14px;
  padding: 16px 18px;
  margin-bottom: 20px;
}

.controls-header-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 10px;
  margin-bottom: 14px;
  padding-bottom: 10px;
  border-bottom: 1px solid var(--gk-subtle-gray);
}

.controls-title-group {
  display: flex;
  align-items: center;
  gap: 10px;
  flex-wrap: wrap;
}

.controls-heading {
  margin: 0;
  font-size: 1rem;
  font-weight: 600;
  color: var(--gk-star-white);
}

.controls-status-pill {
  font-family: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 0.76rem;
  padding: 3px 9px;
  border-radius: 999px;
  background: var(--gk-brushed-titanium);
  color: var(--gk-key-cyan);
  border: 1px solid var(--gk-junction-gray);
}

.controls-utility-btns {
  display: flex;
  align-items: center;
  gap: 8px;
  flex-wrap: wrap;
}

.gk-help {
  min-height: 44px;
  min-width: 44px;
  padding: 6px 12px;
  border-radius: 8px;
  background: var(--gk-brushed-titanium);
  border: 1px solid var(--gk-junction-gray);
  color: var(--gk-star-white);
  font-size: 0.82rem;
  font-weight: 600;
  cursor: pointer;
}
.gk-help:hover,
.gk-help:focus-visible {
  border-color: var(--gk-key-cyan);
}

.gk-key-details {
  background: var(--gk-void-navy);
  border: 1px solid var(--gk-junction-gray);
  border-radius: 8px;
  padding: 4px 10px;
}

.gk-key-summary {
  min-height: 36px;
  display: inline-flex;
  align-items: center;
  cursor: pointer;
  font-size: 0.82rem;
  font-weight: 600;
  color: var(--gk-titanium-gold);
}

.gk-key-body {
  padding: 10px 4px 6px;
  font-size: 0.8rem;
  color: var(--gk-canvas-text);
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(100%, 200px), 1fr));
  gap: 8px;
}

.key-swatch-row {
  display: flex;
  align-items: center;
  gap: 8px;
}

.swatch-dot {
  width: 12px;
  height: 12px;
  border-radius: 3px;
  flex-shrink: 0;
}
.swatch-green { background: var(--gk-readout-green); }
.swatch-red { background: var(--gk-alert-red); }
.swatch-cyan { background: var(--gk-key-cyan); }
.swatch-amber { background: var(--gk-warning-amber); }
.swatch-lavender { background: var(--gk-nebula-lavender); }

.controls-top-actions {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(100%, 200px), 1fr));
  gap: 12px;
  margin-bottom: 14px;
}

.control-cell {
  background: var(--gk-brushed-titanium);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 10px;
  padding: 10px 12px;
  display: flex;
  flex-direction: column;
  gap: 6px;
}

.control-label-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 6px;
}

.control-label {
  font-size: 0.8rem;
  font-weight: 600;
  color: var(--gk-bright-aluminum);
}

.control-readout {
  font-family: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 0.8rem;
  font-weight: 600;
  color: var(--gk-key-cyan);
}

.control-select,
.control-btn {
  min-height: 44px;
  width: 100%;
  padding: 8px 12px;
  border-radius: 8px;
  background: var(--gk-void-navy);
  border: 1px solid var(--gk-junction-gray);
  color: var(--gk-star-white);
  font-size: 0.84rem;
  font-weight: 600;
  cursor: pointer;
}

.control-btn-primary {
  background: var(--gk-halo-blue);
  border-color: var(--gk-key-cyan);
  color: var(--gk-star-white);
}
.control-btn-primary:hover,
.control-btn-primary:focus-visible {
  background: var(--gk-deep-blue);
}

.control-btn-warn {
  background: var(--gk-brushed-titanium);
  border-color: var(--gk-warning-amber);
  color: var(--gk-warning-amber);
}

.sliders-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(100%, 195px), 1fr));
  gap: 10px;
}

.control-range {
  width: 100%;
  min-height: 32px;
  accent-color: var(--gk-key-cyan);
  cursor: pointer;
}

.control-help-tip {
  margin: 0;
  font-size: 0.74rem;
  color: var(--gk-dim-aluminum);
  line-height: 1.35;
}
.gk-controls:not([data-help-open="true"]) .control-help-tip {
  display: none;
}

/* Workbench Split Layout: Live Stage + Engine Tabs */
.workbench-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 20px;
  margin-bottom: 24px;
}

@media (min-width: 1080px) {
  .workbench-grid {
    grid-template-columns: minmax(0, 1.08fr) minmax(0, 0.92fr);
    align-items: start;
  }
}

.stage-panel,
.engine-panel {
  background: var(--gk-dark-titanium);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 14px;
  padding: 16px;
  min-width: 0;
}

.panel-header {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 10px;
  margin-bottom: 12px;
  padding-bottom: 10px;
  border-bottom: 1px solid var(--gk-subtle-gray);
}

.panel-title {
  margin: 0;
  font-size: 1.02rem;
  font-weight: 600;
  color: var(--gk-star-white);
}

.panel-badges {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
}

.status-badge {
  font-family: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 0.74rem;
  font-weight: 600;
  padding: 3px 8px;
  border-radius: 6px;
  background: var(--gk-brushed-titanium);
  border: 1px solid var(--gk-junction-gray);
  color: var(--gk-bright-aluminum);
}
.status-badge.ok {
  color: var(--gk-readout-green);
  border-color: var(--gk-readout-green);
}
.status-badge.fail {
  color: var(--gk-alert-red);
  border-color: var(--gk-alert-red);
}

/* SVG Blueprint Stage */
.stage-canvas-wrap {
  background: var(--gk-void-navy);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 10px;
  padding: 10px;
  overflow: hidden;
}

.stage-svg {
  display: block;
  width: 100%;
  height: auto;
  max-height: 620px;
}

.stage-caption-bar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  margin-top: 10px;
  font-size: 0.79rem;
  color: var(--gk-dim-aluminum);
}

/* Engine Tabs */
.tab-strip {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 8px;
  margin-bottom: 14px;
}

@media (min-width: 560px) {
  .tab-strip {
    grid-template-columns: repeat(4, 1fr);
  }
}

.tab-btn {
  min-height: 44px;
  padding: 8px 10px;
  border-radius: 8px;
  background: var(--gk-brushed-titanium);
  border: 1px solid var(--gk-subtle-gray);
  color: var(--gk-canvas-text);
  font-size: 0.8rem;
  font-weight: 600;
  cursor: pointer;
  text-align: center;
}
.tab-btn[aria-selected="true"] {
  background: var(--gk-void-navy);
  border-color: var(--gk-key-cyan);
  color: var(--gk-star-white);
}

.tab-pane[hidden] {
  display: none;
}

.pane-heading {
  margin: 0 0 6px;
  font-size: 1rem;
  font-weight: 600;
  color: var(--gk-star-white);
}

.pane-lead {
  margin: 0 0 12px;
  font-size: 0.84rem;
  color: var(--gk-dim-aluminum);
}

/* Law Cards & Interval Barcodes */
.laws-list {
  display: flex;
  flex-direction: column;
  gap: 10px;
  margin-bottom: 14px;
}

.law-card {
  background: var(--gk-brushed-titanium);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 10px;
  padding: 11px 13px;
}

.law-top {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  margin-bottom: 4px;
}

.law-name {
  font-size: 0.86rem;
  font-weight: 600;
  color: var(--gk-star-white);
}

.law-pill {
  font-family: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 0.72rem;
  font-weight: 700;
  padding: 2px 8px;
  border-radius: 999px;
}
.law-pill.proven {
  background: var(--gk-void-navy);
  color: var(--gk-readout-green);
  border: 1px solid var(--gk-readout-green);
}
.law-pill.violated {
  background: var(--gk-void-navy);
  color: var(--gk-alert-red);
  border: 1px solid var(--gk-alert-red);
}

.law-formula {
  font-family: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 0.75rem;
  color: var(--gk-dim-aluminum);
  margin: 0 0 8px;
}

.barcode-svg {
  display: block;
  width: 100%;
  height: 22px;
  border-radius: 4px;
  overflow: hidden;
  background: var(--gk-void-navy);
}

.law-foot {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 6px;
  margin-top: 5px;
  font-size: 0.74rem;
  color: var(--gk-canvas-text);
}

/* Tables */
.table-scroll {
  width: 100%;
  overflow-x: auto;
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 10px;
  background: var(--gk-void-navy);
  margin-bottom: 12px;
}

.data-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.78rem;
}

.data-table th,
.data-table td {
  padding: 8px 10px;
  text-align: left;
  border-bottom: 1px solid var(--gk-subtle-gray);
}

.data-table th {
  background: var(--gk-brushed-titanium);
  color: var(--gk-star-white);
  font-weight: 600;
}

.mono-cell {
  font-family: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
}

.code-block {
  margin: 0;
  padding: 12px;
  border-radius: 10px;
  background: var(--gk-void-navy);
  border: 1px solid var(--gk-subtle-gray);
  color: var(--gk-key-cyan);
  font-family: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  font-size: 0.76rem;
  overflow-x: auto;
  max-height: 250px;
}

/* Fold Details Section */
.deep-fold {
  background: var(--gk-dark-titanium);
  border: 1px solid var(--gk-subtle-gray);
  border-radius: 14px;
  padding: 14px 18px;
  margin-top: 20px;
}

.deep-fold-summary {
  min-height: 44px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  cursor: pointer;
  font-size: 0.98rem;
  font-weight: 600;
  color: var(--gk-star-white);
}

.deep-fold-body {
  padding-top: 14px;
  border-top: 1px solid var(--gk-subtle-gray);
  margin-top: 10px;
}

.studio-footer {
  margin-top: 28px;
  padding-top: 16px;
  border-top: 1px solid var(--gk-subtle-gray);
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 10px;
  font-size: 0.8rem;
  color: var(--gk-dim-aluminum);
}

.studio-footer a {
  color: var(--gk-key-cyan);
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
    scroll-behavior: auto !important;
  }
}