#lens-rail {
  position: absolute;
  top: 84px;
  left: 24px;
  right: 216px;
  z-index: 3;
  display: flex;
  gap: 4px;
  overflow-x: auto;
  padding: 3px 0;
  scrollbar-width: thin;
}
#lens-rail::before { content: 'LENSES'; align-self: center; flex: 0 0 auto; margin-right: 4px; color: var(--muted); font: 8px var(--mono); letter-spacing: .1em; }
#lens-rail button {
  flex: 0 0 auto;
  padding: 5px 7px;
  border: 1px solid var(--rule);
  border-radius: 0;
  background: color-mix(in srgb, var(--ground) 92%, transparent);
  color: var(--muted);
  font: 9px var(--mono);
  white-space: nowrap;
  cursor: pointer;
}
#lens-rail button:hover, #lens-rail button:focus-visible { color: var(--ink); border-color: var(--steel); outline: none; }
#lens-rail button.primary { color: var(--ink); }
#lens-rail button[aria-pressed="true"] { color: var(--ink); border-color: var(--steel); }
#lens-rail #lens-evidence { margin-left: 6px; color: var(--steel); }
#lens-status {
  position: absolute;
  top: 151px;
  left: 24px;
  z-index: 3;
  max-width: calc(100% - 230px);
  padding: 4px 6px;
  background: color-mix(in srgb, var(--panel) 88%, transparent);
  color: var(--muted);
  font: 9px var(--mono);
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  pointer-events: none;
}
#right .lens-spark { display: block; width: 250px; height: 64px; margin-top: 10px; fill: none; stroke: var(--steel); stroke-width: 1.5; }
#right .lens-spark path { vector-effect: non-scaling-stroke; }
body.terminal.map-focus #right {
  left: 0 !important;
  right: 0 !important;
  top: var(--map-top) !important;
  bottom: 24px !important;
  width: auto !important;
}
body.map-focus #left { display: none !important; }
body.terminal.map-focus.map-hidden #right {
  position: fixed;
  inset: auto 0 24px auto;
  width: 0 !important;
  height: 0 !important;
  overflow: visible;
}
body.terminal.map-focus.map-hidden #left { display: block !important; width: 100% !important; }
body.map-hidden #right > :not(.dock) { display: none !important; }
@media (max-width: 1100px) {
  #lens-rail { left: 18px; right: 190px; }
  #lens-status { left: 18px; max-width: calc(100% - 210px); }
}
@media (max-width: 700px) {
  #lens-rail { left: 10px; right: 10px; }
  #lens-rail button { font-size: 8px; padding: 4px 5px; }
  #lens-status { left: 10px; max-width: calc(100% - 20px); font-size: 8px; }
}
@media (prefers-reduced-motion: reduce) { #lens-rail { scroll-behavior: auto; } }