/* Shared across all pages. Suppresses the lingering blue focus ring after a mouse click
   (which looked like a "selected/pressed" state) while keeping it for real keyboard/tab
   navigation, via :focus-visible. */
button:focus:not(:focus-visible) {
  outline: none;
}

/* db-switch.js redirects focus to #dbSelect after any button click, so this is now
   the app's one deliberate "highlighted" control. Chrome's :focus-visible heuristic
   hides the ring for a mouse-triggered programmatic focus() call, so this is styled
   unconditionally on :focus (not gated behind :focus-visible) to actually show it. */
#dbSelect:focus {
  outline: 2px solid #3d6ea5;
  outline-offset: 2px;
}

#logoutLink {
  font-size: 12px;
  color: #647380;
  text-decoration: none;
  margin-right: 8px;
}
#logoutLink:hover {
  text-decoration: underline;
}