:root { 
  --black: #000000;
  --gravel: #4a4a4a;
 
  --font-size-m: 12px;
  --font-size-s: 8px;
 
  --font-family-jetbrains_mono: "JetBrains Mono", Helvetica;
}
.jetbrainsmono-normal-gravel-12px {
  color: var(--gravel);
  font-family: var(--font-family-jetbrains_mono);
  font-size: var(--font-size-m);
  font-style: normal;
  font-weight: 400;
}

.jetbrainsmono-normal-gravel-8px {
  color: var(--gravel);
  font-family: var(--font-family-jetbrains_mono);
  font-size: var(--font-size-s);
  font-style: normal;
  font-weight: 400;
}