/* The brand kit's palette. Navy carries the header and text, deep blue the links on light pages
   (9.6:1 on white), pale blue the links on dark ones (8.9:1 on slate). Blue reaches only 4.2:1 on
   white, below the 4.5:1 body text needs, so it is kept for hover and focus. */
:root {
  --md-primary-fg-color: #092849;
  --md-primary-fg-color--light: #2f80c9;
  --md-primary-fg-color--dark: #061c33;
  --md-accent-fg-color: #2f80c9;
}

[data-md-color-scheme="default"] {
  --md-typeset-a-color: #064778;
}

[data-md-color-scheme="slate"] {
  --md-hue: 210;
  --md-typeset-a-color: #91c7ed;
  --md-accent-fg-color: #eaf5fd;
}

/* The whole mascot, never a crop that cuts him, a little taller than the title. */
.md-header__button.md-logo img {
  height: 2rem;
}

/* The home page banner follows the palette toggle: one image for light, one for dark. */
[data-md-color-scheme="default"] img[src$="#only-dark"],
[data-md-color-scheme="slate"] img[src$="#only-light"] {
  display: none;
}