/* contrast repair only; original framework/layout unchanged */
body.portal button, body.portal small { opacity: 1 !important; }
body.portal small { color: #c4ced8 !important; }
body.portal .filters button[aria-pressed="true"] { background: #075985 !important; border-color: #075985 !important; color: #ffffff !important; }
body.portal .footer-brand { color: #dbe6f2 !important; }
body.portal dialog button { color: #ffffff !important; background: #253446 !important; opacity: 1 !important; }
@media (max-width: 599px) { .menu-toggle.menu { display: flex !important; } }