If you have one of the other font filetypes of it, I know there are a handful of online converters, I did so for JetBrainsMono normal, which I had in a TrueType filetype, and converted to Woff2
Speaking of, I’ve found that embedding fonts requires two tiddlers, the font itself (I’ve named mine $:/fonts/JetBrainsMono/Regular.woff2
), and a stylesheet ($:/fonts/JetBrainsMono/style.css
)
The font will need a content type of font/woff2
if you are using woff2, the stylesheet should be tagged $:/tags/Stylesheet, and have the following text (some changes depending on what you wish to call your font.)
@font-face {
font-family: "JetBrainsMono";
src: url(<<datauri "$:/fonts/JetBrainsMono/Regular.woff2">>) format("woff2");
font-display: auto;
font-weight: 100 900;
}
once you have your font and stylesheet, you just type into one or multiple of the $:/ControlPanel Theme Tweaks Settings fields “Font family, Code font family, and or Editor font family” to use it. (I find that trying to set the Editor font family doesn’t seem to always work, may be font dependent…)