From db848c219c63e0f24412e160782cddb86f5d950c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 18 Jan 2023 21:45:29 -0500 Subject: Add JetBrains Mono --- docs/style.css | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'docs/style.css') diff --git a/docs/style.css b/docs/style.css index 2e76b27f..dbfad949 100644 --- a/docs/style.css +++ b/docs/style.css @@ -82,14 +82,19 @@ li ul { font-family: JuliaMono; src: url(JuliaMono_sub.woff2) format('woff2'); } +@font-face{ + font-family: JetBrainsMono; + src: url(JetBrainsMono_sub.woff2) format('woff2'); +} @font-face{ font-family: f3270; src: url(3270_sub.woff2) format('woff2'); } pre.DejaVu , .DejaVu .key, .DejaVu .code, .DejaVu .highlight, .DejaVu .rslt { font-family:BQNMod,monospace; } pre.BQN386 , .BQN386 .key, .BQN386 .code, .BQN386 .highlight, .BQN386 .rslt { font-family:BQN,monospace; } -pre.Iosevka, .Iosevka .key, .Iosevka .code, .Iosevka .highlight, .Iosevka .rslt { font-family:Iosevka,f3270,monospace; } +pre.Iosevka, .Iosevka .key, .Iosevka .code, .Iosevka .highlight, .Iosevka .rslt { font-family:Iosevka,monospace; } pre.Julia , .Julia .key, .Julia .code, .Julia .highlight, .Julia .rslt { font-family:JuliaMono,monospace; } +pre.JetBr , .JetBr .key, .JetBr .code, .JetBr .highlight, .JetBr .rslt { font-family:JetBrainsMono,monospace; } pre.Fairfax, .Fairfax .key, .Fairfax .code, .Fairfax .highlight, .Fairfax .rslt { font-family:FFHD,monospace; font-size:1.1rem; line-height:1.01; } .Fairfax .key { line-height:1.25; } pre.f3270 , .f3270 .key, .f3270 .code, .f3270 .highlight, .f3270 .rslt { font-family:f3270,monospace; font-size:1rem; line-height:1.1; } -- cgit v1.2.3