/* Ajustes acotados a herramientas legales: contraste, marca y controles móviles. */
body.bravo-v3.ip-herramientas .destacada .btn-linea {
  color: #fff !important;
  border-color: #76a6ca !important;
  background: transparent !important;
}
body.bravo-v3.ip-herramientas .herramienta__tag {
  color: #35688f !important;
  font-size: 12px;
}
html[data-tema="oscuro"] body.bravo-v3.ip-herramientas .herramienta__tag {
  color: #9cc9ed !important;
}
/* Espaciado 2026-10-12 · el logotipo ya no se agranda aquí. Estas tres
   páginas lo llevaban a 248 px en la cabecera y a 313-320 px en el pie,
   frente a 176 px en el resto de la web: Nico vio un pie con el logo mucho
   más grande que la cabecera. Ahora heredan la misma variable que todas
   (--v4-brand-logo-width, en javier-v3.css) en cabecera y pie. */
@media (max-width: 640px) {
  body.bravo-v3.ip-herramientas .destacada .botones { gap: 10px; }
  body.bravo-v3.ip-herramientas .destacada .botones .btn {
    min-height: 48px;
    padding: 12px 14px;
    font-size: 15px;
    line-height: 1.35;
    text-align: center;
  }
}