/* Copyright Jetbrains Mono https://www.jetbrains.com/lp/mono/ */
@font-face {
    font-family: "JetBrains Mono";
    src: url("/gstatic/JetBrainsMono-Regular.woff2") format("woff2");
    font-weight: 400;
    font-style: normal;
}