/* Minimal visual hook for dark-mode toggle container if generated by Doxygen theme scripts. */

#dark-mode-toggle, .dark-mode-toggle {
  border: 1px solid #2f80ed;
  border-radius: 999px;
  padding: 4px 10px;
  color: #2f80ed;
  background: transparent;
}

#dark-mode-toggle:hover, .dark-mode-toggle:hover {
  background: rgba(47, 128, 237, 0.1);
}