/* Header bar colour.
 *
 * The blue is inline on the row (style="background-color:rgb(45,156,218)"), so
 * this needs !important to land. Navy is the footer's own colour, so the page
 * is bookended, and the blue stays free to mean "clickable".
 *
 * The logo file is drawn in dark navy on white and vanishes on navy, so the
 * image is tinted to white here rather than re-exported. A one-way white wash
 * keeps the mark's own shading legible; the original file is untouched and
 * still works on any light background.
 *
 * The price-list page has no site stylesheet and copies this colour in
 * gen_price_list.py. Change both together. */
.whb-row.whb-general-header {
  background-color: #14213d !important;
}
.whb-general-header .whb-logo img,
.whb-general-header .whb-col-left img[src*="logo"] {
  filter: brightness(0) invert(1);
}

/* Hover targets need a surface now that the bar is dark. */
.whb-general-header .wd-nav > li > a,
.whb-general-header .wd-tools-element {
  transition: background-color .15s ease;
}
.whb-general-header .wd-nav > li:hover > a,
.whb-general-header .wd-nav > li > a:hover,
.whb-general-header .wd-tools-element:hover {
  background-color: rgba(255, 255, 255, .12);
}