@font-face {
  font-family: "Instrument Sans";
  src: url("assets/fonts/instrument-sans-400.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "Instrument Sans";
  src: url("assets/fonts/instrument-sans-600.ttf") format("truetype");
  font-style: normal;
  font-weight: 600;
  font-display: swap;
}

@font-face {
  font-family: "Instrument Sans";
  src: url("assets/fonts/instrument-sans-700.ttf") format("truetype");
  font-style: normal;
  font-weight: 700;
  font-display: swap;
}

@font-face {
  font-family: "Source Serif 4";
  src: url("assets/fonts/source-serif-4-400.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "Source Serif 4";
  src: url("assets/fonts/source-serif-4-400-italic.ttf") format("truetype");
  font-style: italic;
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "JetBrains Mono";
  src: url("assets/fonts/jetbrains-mono-400.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}

:root {
  --brand-navy: #23355e;
  --navy: #172941;
  --navy-light: #233a55;
  --ink: #1a2848;
  --body: #3f4654;
  --muted: #55616a;
  --paper: #f7f5ef;
  --white: #ffffff;
  --red: #eb2128;
  --red-dark: #c4161c;
  --teal: #126e63;
  --teal-dark: #0b534b;
  --mint: #dce9df;
  --line: #d6dbd5;
  --focus: #ca8541;
  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --sans: "Instrument Sans", Arial, Helvetica, sans-serif;
  --mono: "JetBrains Mono", "Courier New", monospace;
  --content-width: 1200px;
  --section-space: 104px;
}