@font-face {
  font-family: 'RedHat Mono';
  src: url('RedHatMonoVF.woff2') format('woff2-variations');
  font-weight: 300 700;
  font-style: normal;
  font-display: swap;
  font-variant-ligatures: none;
}

@font-face {
  font-family: 'RedHat Mono';
  src: url('RedHatMonoVF-Italic.woff2') format('woff2-variations');
  font-weight: 300 700;
  font-style: italic;
  font-display: swap;
  font-variant-ligatures: none;
}

a {
  color: #a8a0ee;
}

body {
  background-color: #1e1f2b;
  color: #ffffff;
  font-family: 'RedHat Mono', monospace;
  font-size: 1em;
  font-weight: 400;
  line-break: loose;
  padding: 0em 1.25em 1.25em 1.25em;
}

h1 {
  color: #b3d97e;
  font-size: 1.5em;
  font-weight: 600;
  text-transform: uppercase;
}

h2 {
  color: #fad872;
  font-size: 1.3em;
  font-weight: 550;
}

h3 {
  color: #8dd9e6;
  font-size: 1.1em;
  font-weight: 500;
}