/* Uptime's declared theme, from the landing's palette (src/site/shell/styles/tokens.css): navy ink on a mist-white
   morning, the dawn's lavender for lines. The Lobby, the run site's Run page, /setup and the installer read these
   --rer-* tokens; the Worker serves this file, its fonts and /brand/. */
@font-face {
  font-family: 'Plus Jakarta Sans';
  font-style: normal;
  font-weight: 200 800;
  font-display: swap;
  src: url('/design-assets/fonts/plus-jakarta-sans-latin-wght-normal.woff2') format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'Plus Jakarta Sans';
  font-style: normal;
  font-weight: 200 800;
  font-display: swap;
  src: url('/design-assets/fonts/plus-jakarta-sans-latin-ext-wght-normal.woff2') format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
:root {
  --rer-font-body: 'Plus Jakarta Sans', Arial, sans-serif;
  --rer-font-heading: 'Plus Jakarta Sans', Arial, sans-serif;
  --rer-page: #f7f6fb;
  --rer-surface: #ffffff;
  --rer-text: #14204a;
  --rer-muted: #5f6684;
  --rer-border: #8a8fa8;
  --rer-focus: #14204a;
  --rer-accent: #14204a;
  --rer-accent-text: #ffffff;
  --rer-link: #14204a;
  --rer-radius: 18px;
  --rer-logo: url('/brand/mark.svg');
}