/* Generated by tools/fonts.mjs from RISC OS 3.71 outline fonts. */
@font-face { font-family: "Homerton"; src: url("Homerton-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
@font-face { font-family: "Homerton"; src: url("Homerton-Bold.otf") format("opentype"); font-weight: 700; font-style: normal; }
@font-face { font-family: "Homerton"; src: url("Homerton-MediumItalic.otf") format("opentype"); font-weight: 400; font-style: italic; }
@font-face { font-family: "Homerton"; src: url("Homerton-BoldItalic.otf") format("opentype"); font-weight: 700; font-style: italic; }
@font-face { font-family: "Trinity"; src: url("Trinity-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
@font-face { font-family: "Trinity"; src: url("Trinity-Bold.otf") format("opentype"); font-weight: 700; font-style: normal; }
@font-face { font-family: "Trinity"; src: url("Trinity-MediumItalic.otf") format("opentype"); font-weight: 400; font-style: italic; }
@font-face { font-family: "Trinity"; src: url("Trinity-BoldItalic.otf") format("opentype"); font-weight: 700; font-style: italic; }
@font-face { font-family: "Corpus"; src: url("Corpus-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
@font-face { font-family: "Corpus"; src: url("Corpus-Bold.otf") format("opentype"); font-weight: 700; font-style: normal; }
@font-face { font-family: "Corpus"; src: url("Corpus-MediumItalic.otf") format("opentype"); font-weight: 400; font-style: italic; }
@font-face { font-family: "Corpus"; src: url("Corpus-BoldItalic.otf") format("opentype"); font-weight: 700; font-style: italic; }
@font-face { font-family: "NewHall"; src: url("NewHall-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
@font-face { font-family: "NewHall"; src: url("NewHall-Bold.otf") format("opentype"); font-weight: 700; font-style: normal; }
@font-face { font-family: "NewHall"; src: url("NewHall-MediumItalic.otf") format("opentype"); font-weight: 400; font-style: italic; }
@font-face { font-family: "NewHall"; src: url("NewHall-BoldItalic.otf") format("opentype"); font-weight: 700; font-style: italic; }
@font-face { font-family: "Sassoon"; src: url("Sassoon-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
@font-face { font-family: "Sassoon"; src: url("Sassoon-Bold.otf") format("opentype"); font-weight: 700; font-style: normal; }
@font-face { font-family: "Selwyn"; src: url("Selwyn-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
@font-face { font-family: "Sidney"; src: url("Sidney-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
@font-face { font-family: "RISCOS System"; src: url("RISCOSSystem-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
@font-face { font-family: "RISCOS System Fixed"; src: url("RISCOSSystemFixed-Medium.otf") format("opentype"); font-weight: 400; font-style: normal; }
/* Nerd Fonts (tools/nerdfonts.mjs) */
@font-face { font-family: "JetBrainsMono Nerd"; src: url("nerd/JetBrainsMonoNerdFontMono-Regular.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrainsMono Nerd"; src: url("nerd/JetBrainsMonoNerdFontMono-Bold.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }
@font-face { font-family: "Hack Nerd"; src: url("nerd/HackNerdFontMono-Regular.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Hack Nerd"; src: url("nerd/HackNerdFontMono-Bold.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }
@font-face { font-family: "FiraCode Nerd"; src: url("nerd/FiraCodeNerdFontMono-Regular.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "FiraCode Nerd"; src: url("nerd/FiraCodeNerdFontMono-Bold.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }
/* end of Nerd Fonts */