/* Logo: full size */
header img[src="/logo.svg"] {
  height: 100px !important;
  width: 102px !important;
  margin-block: -20px !important;   /* shrinks the hover box, not the logo */
}

/* Header row: fixed height that fits the logo */
header .h-16 {
  height: 100px !important;
}

/* Remove the link's own vertical padding so the hover box hugs the logo */
header a[href="/"] {
  padding-block: 0 !important;
}