/* ============================================================
   paraiso.roahost.com — Explorer (graph + La Cristalización)
   ============================================================ */

.ps-explorer {
  padding-block: var(--paraiso-space-8) var(--paraiso-space-12);
}

.ps-explorer__intro {
  max-inline-size: var(--paraiso-container-max);
  margin-inline: auto;
  margin-block-end: var(--paraiso-space-8);
  padding-inline: var(--paraiso-gutter);
}
.ps-explorer__intro h1 {
  font-size: var(--paraiso-fs-h2);
}
.ps-explorer__intro p {
  color: var(--fg-muted);
  margin-block-start: var(--paraiso-space-3);
  max-inline-size: var(--paraiso-measure);
}

.ps-explorer__layout {
  display: grid;
  grid-template-columns: 1fr;
  grid-template-areas:
    "filters"
    "canvas"
    "detail";
  gap: var(--paraiso-space-6);
  max-inline-size: var(--paraiso-container-max);
  margin-inline: auto;
  padding-inline: var(--paraiso-gutter);
}
@media (min-width: 1024px) {
  .ps-explorer__layout {
    grid-template-columns: 220px minmax(0, 1fr) 320px;
    grid-template-areas: "filters canvas detail";
    gap: var(--paraiso-space-8);
  }
}

.ps-explorer__filters {
  grid-area: filters;
  padding: var(--paraiso-space-4);
  border: 1px solid var(--border);
  border-radius: var(--paraiso-radius-lg);
  background: var(--bg);
  align-self: start;
}

.ps-filter-group {
  margin-block-end: var(--paraiso-space-4);
}
.ps-filter-label {
  font-size: var(--paraiso-fs-xs);
  text-transform: uppercase;
  letter-spacing: 0.1em;
  color: var(--fg-muted);
  margin-block-end: var(--paraiso-space-2);
}

.ps-filter-chips {
  display: flex;
  flex-wrap: wrap;
  gap: var(--paraiso-space-2);
}

.ps-chip {
  font-family: var(--paraiso-font-ui);
  font-size: var(--paraiso-fs-xs);
  font-weight: 500;
  padding: var(--paraiso-space-2) var(--paraiso-space-3);
  border-radius: var(--paraiso-radius-pill);
  border: 1px solid var(--border);
  background: var(--bg);
  color: var(--fg-muted);
  cursor: pointer;
  transition: all var(--paraiso-dur-fast) var(--paraiso-ease);
  min-block-size: 32px;
}
.ps-chip:hover {
  border-color: color-mix(in srgb, var(--accent) 30%, var(--border));
  color: var(--fg);
}
.ps-chip[aria-pressed="true"] {
  background: var(--accent);
  color: var(--bg);
  border-color: var(--accent);
}
.ps-chip:focus-visible {
  outline: 0;
  box-shadow: var(--paraiso-elev-focus);
}

.ps-explorer__canvas-wrap {
  grid-area: canvas;
  position: relative;
  background: color-mix(in srgb, var(--accent) 3%, var(--bg));
  border: 1px solid var(--border);
  border-radius: var(--paraiso-radius-lg);
  overflow: hidden;
  block-size: clamp(420px, 70vh, 760px);
  touch-action: none; /* allow pinch-zoom without browser pan */
}

.ps-explorer__canvas {
  inline-size: 100%;
  block-size: 100%;
  cursor: grab;
}
.ps-explorer__canvas.is-panning { cursor: grabbing; }

.ps-explorer__hint {
  position: absolute;
  inset-block-end: var(--paraiso-space-3);
  inset-inline-start: 50%;
  transform: translateX(-50%);
  pointer-events: none;
  font-size: var(--paraiso-fs-xs);
  color: var(--fg-muted);
  opacity: 0.7;
}

.ps-explorer__detail {
  grid-area: detail;
  padding: var(--paraiso-space-4);
  border: 1px solid var(--border);
  border-radius: var(--paraiso-radius-lg);
  background: var(--bg);
  align-self: start;
  max-block-size: 760px;
  overflow-y: auto;
}

.ps-detail-empty {
  padding: var(--paraiso-space-6) 0;
  text-align: center;
}

.ps-detail h3 {
  font-family: var(--paraiso-font-display);
  font-size: var(--paraiso-fs-lead);
  margin-block-end: var(--paraiso-space-2);
}
.ps-detail__id {
  display: inline-block;
  font-family: var(--paraiso-font-mono);
  font-size: var(--paraiso-fs-xs);
  color: var(--fg-muted);
  margin-block-end: var(--paraiso-space-3);
}
.ps-detail__group {
  display: inline-block;
  font-family: var(--paraiso-font-ui);
  font-size: var(--paraiso-fs-xs);
  font-weight: 500;
  padding: 2px var(--paraiso-space-3);
  border-radius: var(--paraiso-radius-pill);
  background: color-mix(in srgb, var(--group-color, var(--accent)) 12%, transparent);
  color: var(--group-color, var(--accent));
  margin-block-end: var(--paraiso-space-3);
}
.ps-detail__text {
  font-size: var(--paraiso-fs-body);
  line-height: var(--paraiso-lh-body);
  margin-block-end: var(--paraiso-space-4);
}
.ps-detail__edges {
  list-style: none;
  padding: 0;
  margin-block-start: var(--paraiso-space-4);
  border-block-start: 1px solid var(--border);
  padding-block-start: var(--paraiso-space-4);
}
.ps-detail__edges li {
  font-size: var(--paraiso-fs-sm);
  color: var(--fg-muted);
  margin-block-end: var(--paraiso-space-2);
  padding-inline-start: var(--paraiso-space-3);
  border-inline-start: 2px solid var(--border);
}
.ps-detail__edges li.is-keystone {
  border-color: var(--paraiso-gold);
  color: var(--fg);
}
.ps-detail__edges code {
  font-family: var(--paraiso-font-mono);
  font-size: 0.85em;
  color: var(--accent);
}
.ps-detail__action {
  display: inline-block;
  margin-block-start: var(--paraiso-space-4);
  font-size: var(--paraiso-fs-sm);
}

/* === SVG node/edge styles === */
.ps-node {
  cursor: pointer;
  transition: opacity var(--paraiso-dur) var(--paraiso-ease);
}
.ps-node circle {
  fill: var(--node-color, var(--accent));
  stroke: var(--bg);
  stroke-width: 1.5;
  transition: r var(--paraiso-dur-fast) var(--paraiso-ease),
              stroke-width var(--paraiso-dur-fast) var(--paraiso-ease);
}
.ps-node.is-selected circle {
  stroke: var(--fg);
  stroke-width: 3;
}
.ps-node.is-dimmed {
  opacity: 0.18;
}
.ps-node text {
  font-family: var(--paraiso-font-ui);
  font-size: 10px;
  fill: var(--fg);
  pointer-events: none;
  text-anchor: middle;
}
.ps-node.is-keystone circle {
  fill: var(--paraiso-gold);
  stroke: var(--paraiso-gold);
}
.ps-node.is-keystone text {
  font-weight: 600;
  fill: var(--paraiso-gold);
}

.ps-edge {
  stroke: var(--fg-muted);
  stroke-opacity: 0.35;
  fill: none;
  transition: stroke-opacity var(--paraiso-dur) var(--paraiso-ease),
              stroke-width var(--paraiso-dur-fast) var(--paraiso-ease);
}
.ps-edge.is-syllogism { stroke: var(--accent); stroke-opacity: 0.32; }
.ps-edge.is-derives_coherence { stroke: var(--accent-positive); stroke-opacity: 0.42; }
.ps-edge.is-derives_contradiction { stroke: var(--accent-memorial); stroke-opacity: 0.42; }
.ps-edge.is-dimmed { stroke-opacity: 0.04; }
.ps-edge.is-active { stroke-width: 2.5; stroke-opacity: 0.95; }

/* === Crystallization overlay === */
.ps-explorer.is-crystallizing .ps-node:not(.is-real-solution) {
  opacity: 0.12;
}
.ps-explorer.is-crystallizing .ps-node.is-real-solution circle {
  fill: var(--accent-positive);
}
.ps-explorer.is-crystallizing .ps-node.is-keystone circle {
  fill: var(--paraiso-gold);
  r: 14;
}
.ps-explorer.is-crystallized .ps-node.is-real-solution circle {
  fill: var(--accent-positive);
}
.ps-explorer.is-crystallized .ps-node.is-keystone circle {
  fill: var(--paraiso-gold);
}

.ps-crystallize-cta {
  position: fixed;
  inset-block-end: var(--paraiso-space-8);
  inset-inline-start: 50%;
  transform: translateX(-50%);
  background: var(--bg);
  border: 1px solid var(--paraiso-gold);
  border-radius: var(--paraiso-radius-pill);
  padding: var(--paraiso-space-3) var(--paraiso-space-6);
  box-shadow: 0 0 0 4px color-mix(in srgb, var(--paraiso-gold) 12%, transparent),
              var(--paraiso-elev-2);
  z-index: 50;
  opacity: 0;
  pointer-events: none;
  transition: opacity var(--paraiso-dur-emphasis) var(--paraiso-ease);
  text-align: center;
}
.ps-crystallize-cta.is-visible {
  opacity: 1;
  pointer-events: auto;
}
.ps-crystallize-cta strong {
  display: block;
  font-family: var(--paraiso-font-display);
  font-size: var(--paraiso-fs-lead);
  margin-block-end: var(--paraiso-space-2);
  color: var(--paraiso-gold);
}
.ps-crystallize-cta .ps-btn {
  margin-inline: auto;
}