/* grovedb-proof-visualizer — default stylesheet.
 *
 * Themed via CSS variables. Override on `.gpv-root` or any ancestor.
 * Defaults match the dark `navy` mdbook theme (which the dash-platform book uses);
 * a `[data-gpv-theme="light"]` override flips to a light variant.
 */

.gpv-root {
  --gpv-bg: #0d1117;
  --gpv-fg: #c9d1d9;
  --gpv-muted: #6e7681;
  --gpv-panel: #21262d;
  --gpv-panel-2: #1c2129;
  --gpv-border: #30363d;

  --gpv-blue: #1f6feb;
  --gpv-blue-fg: #ffffff;
  --gpv-cyan: #39c5cf;
  --gpv-cyan-fg: #0d1117;
  --gpv-grey: #6e7681;
  --gpv-grey-fg: #ffffff;
  --gpv-edge: #484f58;
  --gpv-descent: #1f6feb;

  --gpv-radius: 8px;
  --gpv-gap: 16px;

  position: relative;
  color: var(--gpv-fg);
  background: var(--gpv-bg);
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, sans-serif;
  font-size: 13px;
  line-height: 1.45;
  border-radius: var(--gpv-radius);
  padding: var(--gpv-gap);
}

.gpv-root[data-gpv-theme="light"] {
  --gpv-bg: #ffffff;
  --gpv-fg: #1f2328;
  --gpv-muted: #6e7681;
  --gpv-panel: #f6f8fa;
  --gpv-panel-2: #ffffff;
  --gpv-border: #d0d7de;
  --gpv-edge: #afb8c1;
  --gpv-grey-fg: #ffffff;
}

.gpv-layers {
  display: flex;
  flex-direction: column;
  gap: var(--gpv-gap);
}

.gpv-layer {
  background: var(--gpv-panel);
  border: 1px solid var(--gpv-border);
  border-radius: var(--gpv-radius);
  overflow: hidden;
}

.gpv-layer-summary {
  list-style: none;
  cursor: pointer;
  padding: 10px 14px;
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  align-items: baseline;
  background: var(--gpv-panel-2);
  border-bottom: 1px solid var(--gpv-border);
}

.gpv-expand-btn {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  padding: 4px 10px;
  background: var(--gpv-blue);
  border: 1px solid var(--gpv-blue);
  border-radius: 6px;
  color: var(--gpv-blue-fg);
  cursor: pointer;
  font: inherit;
  font-size: 12px;
  font-weight: 500;
  text-transform: none;
  letter-spacing: 0;
  flex: 0 0 auto;
}
.gpv-expand-btn:hover {
  filter: brightness(1.15);
}
.gpv-expand-btn svg {
  display: block;
}
.gpv-expand-btn span {
  white-space: nowrap;
}
.gpv-layer-summary::-webkit-details-marker { display: none; }
.gpv-layer-summary::before {
  content: "▶";
  display: inline-block;
  margin-right: 6px;
  transition: transform 120ms ease;
  color: var(--gpv-muted);
}
.gpv-layer[open] > .gpv-layer-summary::before { transform: rotate(90deg); }

.gpv-layer-id { font-weight: 600; color: var(--gpv-fg); }
.gpv-layer-meta { color: var(--gpv-muted); }
.gpv-layer-descended { color: var(--gpv-muted); margin-left: auto; }
/* push the fullscreen button to the far right, after the descended label */
.gpv-expand-btn { margin-left: 8px; }
.gpv-layer-descended code,
.gpv-descent-chip code {
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  background: var(--gpv-panel);
  padding: 1px 6px;
  border-radius: 4px;
  color: var(--gpv-fg);
}

.gpv-layer-body {
  padding: 14px;
  overflow-x: auto;
}

.gpv-svg {
  display: block;
  max-width: 100%;
  height: auto;
}

.gpv-merk-tree .gpv-edge { stroke: var(--gpv-edge); stroke-width: 1.5; }

.gpv-node rect {
  fill: var(--gpv-panel);
  stroke: var(--gpv-border);
  stroke-width: 1;
}
.gpv-node-primary {
  fill: var(--gpv-fg);
  font-weight: 600;
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  font-size: 13px;
}
.gpv-node-secondary {
  fill: var(--gpv-muted);
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  font-size: 11px;
}

.gpv-node--descend rect { fill: var(--gpv-blue); stroke: var(--gpv-blue); }
.gpv-node--descend .gpv-node-primary,
.gpv-node--descend .gpv-node-secondary { fill: var(--gpv-blue-fg); }

.gpv-node--target rect {
  fill: var(--gpv-cyan); stroke: var(--gpv-cyan); stroke-width: 2;
}
.gpv-node--target .gpv-node-primary,
.gpv-node--target .gpv-node-secondary { fill: var(--gpv-cyan-fg); }

.gpv-node--internal rect { fill: var(--gpv-panel-2); }
.gpv-node--opaque rect { fill: var(--gpv-grey); stroke: var(--gpv-grey); }
.gpv-node--opaque .gpv-node-primary,
.gpv-node--opaque .gpv-node-secondary { fill: var(--gpv-grey-fg); }

.gpv-descent-list {
  margin-top: 12px;
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}
.gpv-descent-chip {
  display: inline-flex;
  gap: 4px;
  align-items: baseline;
  padding: 3px 8px;
  border-radius: 999px;
  background: var(--gpv-panel-2);
  border: 1px solid var(--gpv-border);
  color: var(--gpv-muted);
  cursor: pointer;
}
.gpv-descent-chip:hover { color: var(--gpv-fg); }

.gpv-overlay {
  position: absolute;
  top: 0;
  left: 0;
  pointer-events: none;
  z-index: 1;
}

.gpv-overlay .gpv-descent {
  stroke: var(--gpv-descent);
  stroke-width: 2;
  stroke-dasharray: 6 4;
  opacity: 0.85;
}
.gpv-overlay .gpv-descent-label {
  fill: var(--gpv-descent);
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  font-size: 11px;
  paint-order: stroke;
  stroke: var(--gpv-bg);
  stroke-width: 4;
}

.gpv-opaque {
  padding: 12px;
  background: var(--gpv-panel-2);
  border: 1px dashed var(--gpv-border);
  border-radius: 6px;
  color: var(--gpv-muted);
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
}

.gpv-error {
  padding: 8px 12px;
  border-radius: 6px;
  background: #2d0e0e;
  color: #ffd1d1;
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  font-size: 12px;
  white-space: pre-wrap;
}

/* Fullscreen mode: a single expanded layer fills the viewport, the rest of the
 * widget (other layers + the cross-layer descent overlay) is hidden so the
 * Merk tree gets all the room. The SVG renders at natural pixel size with
 * scroll on both axes — readable text, even on 19-node trees. */
.gpv-layer--fullscreen {
  position: fixed;
  inset: 0;
  z-index: 1000;
  margin: 0;
  border-radius: 0;
  border: none;
  background: var(--gpv-bg);
  display: flex;
  flex-direction: column;
}
.gpv-layer--fullscreen > .gpv-layer-summary {
  flex: 0 0 auto;
}
.gpv-layer--fullscreen > .gpv-layer-body {
  flex: 1 1 auto;
  overflow: auto;
  padding: 24px;
}
.gpv-layer--fullscreen .gpv-svg {
  max-width: none;
  width: auto;
  height: auto;
}

.gpv-root.gpv-has-fullscreen .gpv-overlay { display: none; }
.gpv-root.gpv-has-fullscreen .gpv-layer:not(.gpv-layer--fullscreen) {
  display: none;
}
/* prevent body scroll while a layer is fullscreen */
body:has(.gpv-layer--fullscreen) { overflow: hidden; }

/* ---------- Detail panel ---------- */

.gpv-detail-panel {
  position: fixed;
  top: 0;
  right: 0;
  bottom: 0;
  width: min(560px, 90vw);
  z-index: 1100; /* above fullscreen layers */
  background: var(--gpv-panel);
  border-left: 1px solid var(--gpv-border);
  color: var(--gpv-fg);
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  font-size: 13px;
  line-height: 1.45;
  overflow: auto;
  transform: translateX(100%);
  transition: transform 200ms ease;
  box-shadow: -8px 0 24px rgba(0, 0, 0, 0.45);
}
.gpv-detail-panel--open { transform: translateX(0); }

.gpv-detail-header {
  display: flex;
  align-items: flex-start;
  gap: 12px;
  padding: 14px 18px;
  border-bottom: 1px solid var(--gpv-border);
  background: var(--gpv-panel-2);
  position: sticky;
  top: 0;
}
.gpv-detail-eyebrow {
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--gpv-muted);
  margin-bottom: 4px;
}
.gpv-detail-title {
  font-weight: 600;
  font-size: 14px;
  margin-bottom: 4px;
}
.gpv-detail-title code {
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  background: var(--gpv-bg);
  padding: 1px 6px;
  border-radius: 4px;
}
.gpv-detail-summary { color: var(--gpv-muted); font-size: 12px; }

.gpv-detail-close {
  margin-left: auto;
  width: 28px;
  height: 28px;
  background: transparent;
  border: 1px solid var(--gpv-border);
  border-radius: 6px;
  color: var(--gpv-muted);
  cursor: pointer;
  font-size: 18px;
  line-height: 1;
}
.gpv-detail-close:hover { color: var(--gpv-fg); border-color: var(--gpv-blue); }

.gpv-detail-section { padding: 16px 18px; border-bottom: 1px solid var(--gpv-border); }
.gpv-detail-section:last-child { border-bottom: none; }
.gpv-detail-section-title {
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--gpv-muted);
  margin-bottom: 10px;
}

.gpv-detail-callout,
.gpv-detail-note {
  background: var(--gpv-bg);
  border: 1px solid var(--gpv-border);
  border-left: 3px solid var(--gpv-blue);
  padding: 10px 12px;
  border-radius: 4px;
  font-size: 12px;
  color: var(--gpv-fg);
  margin: 12px 18px;
}
.gpv-detail-note + .gpv-detail-note { margin-top: 8px; }

.gpv-detail-step {
  border: 1px solid var(--gpv-border);
  border-radius: 6px;
  padding: 12px;
  margin-bottom: 12px;
  background: var(--gpv-bg);
}
.gpv-detail-step:last-child { margin-bottom: 0; }
.gpv-detail-step-head {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  margin-bottom: 6px;
}
.gpv-detail-step-name { font-weight: 600; }
.gpv-detail-step-bytes { color: var(--gpv-muted); font-size: 11px; }
.gpv-detail-formula {
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  font-size: 11px;
  color: var(--gpv-muted);
  margin-bottom: 8px;
}
.gpv-detail-formula code { color: var(--gpv-fg); }
.gpv-detail-arrow {
  text-align: center;
  color: var(--gpv-muted);
  font-size: 11px;
  margin: 6px 0;
  letter-spacing: 0.1em;
}

.gpv-detail-input {
  background: var(--gpv-panel-2);
  border: 1px solid var(--gpv-border);
  border-radius: 4px;
  padding: 8px 10px;
  margin-bottom: 6px;
}
.gpv-detail-input-head {
  display: flex;
  align-items: baseline;
  gap: 8px;
  margin-bottom: 4px;
  font-size: 11px;
}
.gpv-detail-input-label { font-weight: 600; }
.gpv-detail-input-meta { color: var(--gpv-muted); flex: 1; }

.gpv-detail-bytes {
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  font-size: 11px;
  word-break: break-all;
  color: var(--gpv-fg);
  max-height: 6em;
  overflow-y: auto;
}

.gpv-detail-hash {
  display: flex;
  align-items: center;
  gap: 8px;
  background: var(--gpv-panel-2);
  border: 1px solid var(--gpv-border);
  border-radius: 4px;
  padding: 8px 10px;
  flex-wrap: wrap;
}
.gpv-detail-hash-label {
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--gpv-muted);
  font-weight: 600;
}
.gpv-detail-hash-value {
  font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, monospace;
  font-size: 11px;
  word-break: break-all;
  flex: 1 1 100%;
  color: var(--gpv-fg);
}

.gpv-copy {
  font-size: 10px;
  padding: 2px 8px;
  background: transparent;
  border: 1px solid var(--gpv-border);
  border-radius: 3px;
  color: var(--gpv-muted);
  cursor: pointer;
  font-family: inherit;
  text-transform: uppercase;
  letter-spacing: 0.05em;
}
.gpv-copy:hover { color: var(--gpv-fg); border-color: var(--gpv-blue); }
.gpv-copy.gpv-copied {
  background: var(--gpv-blue);
  color: var(--gpv-blue-fg);
  border-color: var(--gpv-blue);
}

/* Hover hint that nodes are clickable */
.gpv-node { transition: filter 100ms ease; }
.gpv-node:hover { filter: brightness(1.2); }
.gpv-node:hover rect {
  stroke: var(--gpv-blue);
  stroke-width: 2;
}