/* ── Inline find/replace bar ────────────────────────────────────────── */
#find-bar {
  background: var(--bg1);
  border-bottom: 1px solid var(--border);
  padding: 6px 10px;
  font-family: var(--font-ui, sans-serif);
  font-size: 13px;
}
#find-bar-row, #find-replace-row {
  display: flex;
  align-items: center;
  gap: 6px;
}
#find-replace-row { margin-top: 4px; }
#find-input, #replace-input {
  flex: 1;
  min-width: 120px;
  padding: 4px 8px;
  background: var(--bg0);
  color: var(--text0);
  border: 1px solid var(--border);
  border-radius: 4px;
  font-family: var(--font-mono, monospace);
  font-size: 13px;
  outline: none;
}
#find-input:focus, #replace-input:focus { border-color: var(--accent); }
#find-count {
  color: var(--text1);
  font-size: 12px;
  min-width: 60px;
  text-align: center;
  white-space: nowrap;
}
.find-toggle {
  display: flex;
  align-items: center;
  gap: 2px;
  cursor: pointer;
  padding: 2px 6px;
  border-radius: 4px;
  color: var(--text2);
  font-size: 12px;
  font-family: var(--font-mono, monospace);
  user-select: none;
}
.find-toggle input { display: none; }
.find-toggle:has(input:checked) { color: var(--accent); background: var(--bg2); }
#find-bar .fb-btn {
  background: none;
  border: none;
  color: var(--text1);
  cursor: pointer;
  padding: 4px 6px;
  border-radius: 4px;
  font-size: 13px;
  font-family: var(--font-ui, sans-serif);
}
#find-bar .fb-btn:hover { background: var(--bg2); color: var(--text0); }
#replace-one, #replace-all {
  padding: 4px 10px;
  background: var(--bg2);
  border: 1px solid var(--border);
  border-radius: 4px;
  color: var(--text0);
  cursor: pointer;
  font-size: 12px;
  font-family: var(--font-ui, sans-serif);
}
#replace-one:hover, #replace-all:hover { background: var(--bg3); }
.find-match { background: rgba(255, 200, 0, 0.3); border-radius: 2px; }
.find-match-current { background: rgba(255, 150, 0, 0.6); border-radius: 2px; }

/* ── Go to line ──────────────────────────────────────────────────────── */
#goto-line-bar {
  position: absolute;
  top: 0; left: 50%;
  transform: translateX(-50%);
  z-index: 100;
  background: var(--bg1);
  border: 1px solid var(--border);
  border-top: none;
  border-radius: 0 0 8px 8px;
  padding: 8px 12px;
  box-shadow: 0 4px 12px rgba(0,0,0,0.3);
  display: flex;
  align-items: center;
  gap: 8px;
  font-family: var(--font-ui, sans-serif);
  font-size: 13px;
}
#goto-line-bar label { color: var(--text1); white-space: nowrap; }
#goto-line-input {
  width: 100px;
  padding: 4px 8px;
  background: var(--bg0);
  color: var(--text0);
  border: 1px solid var(--border);
  border-radius: 4px;
  font-family: var(--font-mono, monospace);
  font-size: 13px;
  outline: none;
}
#goto-line-input:focus { border-color: var(--accent); }