/* Small additions on top of the original compiled stylesheet (site.css). */
[hidden] { display: none !important; }
/* Without JavaScript, never leave entrance-animated content invisible. */
.no-js [data-gmd-reveal] { opacity: 1 !important; transform: none !important; }
/* Admin bar: keep the fixed header below it when logged in. */
body.admin-bar header[data-gmd-header] { top: 32px; }
@media (max-width: 782px) { body.admin-bar header[data-gmd-header] { top: 46px; } }
/* Mobile menu: the old site's open menu (about 1,540px) was taller than a phone screen and could not scroll,
   so the last items were unreachable. Here it scrolls inside the screen; the look is unchanged. */
@media (max-width: 1023px) {
  [data-gmd-mobile-menu]:not([hidden]) { max-height: calc(100dvh - var(--gmd-menu-top, 7.25rem)); overflow-y: auto; overscroll-behavior: contain; }
}