/* Static Explorer view */

.explorer-wrap {
  display: flex;
  flex-direction: column;
  height: calc(100vh - 180px);
  min-height: 480px;
  background: var(--card);
  border: 1px solid var(--border);
  border-radius: var(--r-lg);
  overflow: hidden;
}

.explorer-toolbar {
  padding: 12px 20px;
  border-bottom: 1px solid var(--border);
  display: flex;
  align-items: center;
  gap: 20px;
  font-size: 13px;
  background: var(--canvas-2);
  flex-wrap: wrap;
}

.explorer-toolbar .stat {
  color: var(--ink-2);
  font-weight: 500;
}
.explorer-toolbar .stat strong { color: var(--ink); margin-right: 4px; }

.explorer-toolbar .legend {
  display: flex;
  gap: 16px;
  margin-left: auto;
  color: var(--ink-2);
  font-size: 12px;
}
.explorer-toolbar .legend .sw {
  display: inline-block;
  width: 18px;
  height: 0;
  vertical-align: middle;
  margin-right: 6px;
  border-top-width: 2px;
  border-top-style: solid;
}
.explorer-toolbar .legend .sw.call   { border-top-color: var(--teal); }
.explorer-toolbar .legend .sw.import { border-top-color: var(--indigo); border-top-style: dashed; }

.explorer-canvas {
  flex: 1;
  background: var(--canvas);
  position: relative;
}

.explorer-info {
  padding: 12px 20px;
  border-top: 1px solid var(--border);
  background: var(--canvas-2);
  font-size: 13px;
  color: var(--ink);
  min-height: 56px;
}

.explorer-info .info-head { margin-bottom: 4px; }
.explorer-info .info-head strong { font-family: var(--font-mono); font-size: 14px; }
.explorer-info .info-meta { color: var(--ink-2); font-size: 12px; margin-bottom: 8px; }
.explorer-info .info-symbols code {
  background: var(--canvas);
  border: 1px solid var(--border);
  border-radius: 4px;
  padding: 1px 6px;
  margin-right: 4px;
  font-family: var(--font-mono);
  font-size: 12px;
  color: var(--ink);
}
.explorer-info .muted { color: var(--ink-3); }

.explorer-empty {
  display: flex;
  flex-direction: column;
  gap: 8px;
  align-items: center;
  justify-content: center;
  height: 100%;
  text-align: center;
  color: var(--ink-2);
  padding: 40px;
}
.explorer-empty h3 { margin-bottom: 4px; }
.explorer-empty .muted { color: var(--ink-3); font-size: 14px; }