/* IMS branding: the header logo is a banner with its own teal gradient, so the
   band takes the banner's average edge colour and the banner's edges are
   feathered into it, leaving no visible seam. */

div.page-header {
  background-color: #49a2b9;
}

/* taller than the stock 60px so the three lines of the banner stay legible;
   the selector has to match Indico's `div.page-header img.header-logo` */
div.page-header img.header-logo {
  height: 80px;
}

/* Indico paints the strip and its items from these custom properties rather
   than fixed colours, so overriding the variables is more robust than
   competing with `#global-menu li :is(a, button)` on specificity. */
#global-menu {
  --surface-inverse-color: #326e7e;
  --surface-highlight-inverse-color: #3e8798;
  background-color: #326e7e;
}