@font-face { font-family: "FiraCode"; font-style: normal; font-weight: 400; src: url("/font/FiraCode.woff2") format("woff2"); font-display: swap; } @font-face { font-family: "SourceCodePro"; font-style: normal; font-weight: 400; src: url("/font/SourceCodePro.woff2") format("woff2"); font-display: swap; }