/* ============================================================
   PATCH.CSS — Mobile hamburger fix
   Aplica DESPUÉS de style.css.
   Sin !important porque el botón ya no tiene style inline.
   ============================================================ */
@media (max-width: 734px) {
  .logo-container img         { height: 28px; }
  .theme-switcher .mode-label { display: none; }

  /* Especificidad elevada para ganar al .hamburger { display:none } base
     sin necesitar !important — el style inline fue eliminado de header.js */
  .nav-links button.hamburger,
  button#hamburger-btn.hamburger { display: flex; }
}