/* Eightfold Path Software brand palette over mdBook's navy theme
   (efps/brand/tokens.css). */
.navy {
  --bg: #0E1414;
  --fg: #E8ECEC;

  --sidebar-bg: #1A2424;
  --sidebar-fg: #94A3B8;
  --sidebar-non-existant: #2A3838;
  --sidebar-active: #E8ECEC;
  --sidebar-spacer: #2A3838;

  --scrollbar: #2A3838;

  --icons: #94A3B8;
  --icons-hover: #E8ECEC;

  --links: #60A5FA;

  --inline-code-color: #7B9CB7;

  --theme-popup-bg: #1A2424;
  --theme-popup-border: #2A3838;
  --theme-hover: #2A3838;

  --quote-bg: #1A2424;
  --quote-border: #4A7A94;

  --table-border-color: #2A3838;
  --table-header-bg: #1A2424;
  --table-alternate-bg: #121a1a;

  --searchbar-border-color: #2A3838;
  --searchbar-bg: #1A2424;
  --searchbar-fg: #E8ECEC;
  --searchbar-shadow-color: #0a0f0f;
  --searchresults-header-fg: #94A3B8;
  --searchresults-border-color: #2A3838;
  --searchresults-li-bg: #1A2424;
  --search-mark-bg: #395672;

  --color-scheme: dark;
}

html {
  font-family: "IBM Plex Sans", "Inter", system-ui, -apple-system, sans-serif;
}

h1, h2, h3, h4, .menu-title {
  font-family: "IBM Plex Serif", "Source Serif Pro", Georgia, serif;
  font-weight: 600;
}

code, pre, kbd {
  font-family: "IBM Plex Mono", "Fira Code", "Hack", ui-monospace, monospace;
}

.navy .content .header:link,
.navy .content .header:visited { color: #E8ECEC; }

.navy pre > .buttons button { border-color: #2A3838; }