@font-face {
    font-family: "Robotomono Variablefont Wght";
    src: url('/site-fonts/01a09caf-9afb-73c9-8b7e-d4f230a9a582/robotomono_variablefont_wght.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}