@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(/fonts/ec5dc710e3ca.woff2) format('woff2');
  unicode-range: U+2500, U+2502, U+250c, U+2510, U+2514, U+2518, U+251c, U+2524, U+252c, U+2534, U+253c, U+2550-2551, U+2554, U+2557, U+255a, U+255d, U+256c, U+2580, U+2584, U+2588, U+2591-2593;
}