static/css/fonts/jetbrains-mono.scss (96 lines of code) (raw):
/* Jetbrains */
@font-face {
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 400;
font-display: swap;
src: local("JetBrains Mono dev Regular"),
local("JetBrainsMonodev-Regular"),
local("JetBrains Mono Regular"),
local("JetBrainsMono-Regular"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Regular.woff2") format("woff2"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Regular.woff") format("woff");
}
@font-face {
font-family: 'JetBrains Mono';
font-style: italic;
font-weight: 400;
font-display: swap;
src: local("JetBrains Mono dev Italic"),
local("JetBrainsMonodev-Italic"),
local("JetBrains Mono Italic"),
local("JetBrainsMono-Italic"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Italic.woff2") format("woff2"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Italic.woff") format("woff");
}
@font-face {
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 500;
font-display: swap;
src: local("JetBrains Mono dev Medium"),
local("JetBrainsMonodev-Medium"),
local("JetBrains Mono Medium"),
local("JetBrainsMono-Medium"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Medium.woff2") format("woff2"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Medium.woff") format("woff");
}
@font-face {
font-family: 'JetBrains Mono';
font-style: italic;
font-weight: 500;
font-display: swap;
src: local("JetBrains Mono dev Medium Italic"),
local("JetBrainsMonodev-Medium-Italic"),
local("JetBrains Mono Medium Italic"),
local("JetBrainsMono-Medium-Italic"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Medium-Italic.woff2") format("woff2"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Medium-Italic.woff") format("woff");
}
@font-face {
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 700;
font-display: swap;
src: local("JetBrains Mono dev Bold"),
local("JetBrainsMonodev-Bold"),
local("JetBrains Mono Bold"),
local("JetBrainsMono-Bold"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Bold.woff2") format("woff2"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Bold.woff") format("woff");
}
@font-face {
font-family: 'JetBrains Mono';
font-style: italic;
font-weight: 700;
font-display: swap;
src: local("JetBrains Mono dev Bold Italic"),
local("JetBrainsMonodev-Bold-Italic"),
local("JetBrains Mono Bold Italic"),
local("JetBrainsMono-Bold-Italic"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Bold-Italic.woff2") format("woff2"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-Bold-Italic.woff") format("woff");
}
@font-face {
font-family: 'JetBrains Mono';
font-style: normal;
font-weight: 800;
font-display: swap;
src: local("JetBrains Mono dev ExtraBold"),
local("JetBrainsMonodev-ExtraBold"),
local("JetBrains Mono ExtraBold"),
local("JetBrainsMono-ExtraBold"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-ExtraBold.woff2") format("woff2"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-ExtraBold.woff") format("woff");
}
@font-face {
font-family: 'JetBrains Mono';
font-style: italic;
font-weight: 800;
font-display: swap;
src: local("JetBrains Mono dev ExtraBold Italic"),
local("JetBrainsMonodev-ExtraBold-Italic"),
local("JetBrains Mono ExtraBold Italic"),
local("JetBrainsMono-ExtraBold-Italic"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-ExtraBold-Italic.woff2") format("woff2"),
url("/assets/fonts/JetBrainsMono/JetBrainsMono-ExtraBold-Italic.woff") format("woff");
}