.code-surface.nav-hit-test > .code-color-layer { pointer-events: auto; user-select: text; }
.code-surface.nav-hit-test > textarea#source { pointer-events: none; }
textarea#source.nav-symbol { cursor: pointer; }
::highlight(lab-source-definition) { color: #c3eedf; text-decoration: underline; }
.nav-choices {
  width: min(540px,calc(100vw - 32px)); max-height: 75vh; padding: 0; color: var(--ui-ink);
  border: 1px solid var(--ui-line); border-radius: 11px; box-shadow: 0 16px 52px #152a223d;
}
.nav-choices::backdrop { background: #14221f58; }
.nav-choice-head { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 14px 16px; background: var(--ui-wash); border-bottom: 1px solid var(--ui-line); }
.nav-choice-head h3 { margin: 0; font-size: 16px; overflow-wrap: anywhere; }
.nav-choices .nav-cancel { font-size: 12px; padding: 5px 8px; }
.nav-choice-list { display: grid; padding: 6px; max-height: 55vh; overflow-y: auto; }
.nav-choices .nav-choice {
  display: grid; min-width: 0; width: 100%; gap: 2px; padding: 9px 10px; background: #fff; color: inherit;
  border: 1px solid transparent; text-align: left; overflow-wrap: anywhere;
}
.nav-choices .nav-choice:hover, .nav-choices .nav-choice:focus-visible { border-color: #a0b7ca; background: var(--ui-tint); }
.nav-choice strong { font: 650 13px/1.4 var(--sans,system-ui); }
.nav-choice span { color: var(--ui-muted); font: 11px/1.45 var(--mono,monospace); }