commit b8d93afc711a06ab364afcd59c4a69626cd3a39c
parent 3bec371b57b07173610689ffdf711804c9e82a52
Author: mpizzzle <m@michaelpercival.xyz>
Date: Sat, 24 Sep 2022 20:36:32 +0100
updating code styles
Diffstat:
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/content/thoughts/managing-custom-web-fonts.md b/content/thoughts/managing-custom-web-fonts.md
@@ -7,7 +7,7 @@ draft: false
The font you are looking at is called [BQN386](https://github.com/dzaima/BQN386.git), a derivative of the font [APL385](http://www.apl385.com/fonts/) patched with custom glyphs for the wonderfully esoteric programming language [BQN](https://mlochbaum.github.io/BQN/).
Just look at these saucy darlings:
-{{< highlight APL "linenos=true, style=dracula" >}}
+{{< highlight APL "linenos=true, style=paraiso-dark" >}}
+-×÷⋆√⌊⌈∧∨¬|=≠≤<>≥≡≢⊣⊢⥊∾≍⋈↑↓↕⌽⍉/⍋⍒⊏⊑⊐⊒∊⍷⊔
`˜˘¨⁼⌜´˝˙ ∘⊸⟜○⌾⎉⚇⍟⊘◶⎊
π‿∞‿@↩←⇐→,⋄ 𝕨𝕩𝔽𝔾𝕎𝕏𝕗𝕘𝕊𝕤ℝ𝕣⦃⦄⟨⟩
@@ -18,7 +18,7 @@ If you are in such a situation, I'd recommend using the [Font Squirrel Webfont G
This generator does a few nice things; first, it will provide you with compressed [woff/ woff2](https://en.wikipedia.org/wiki/Web_Open_Font_Format) formats of your font that are compatible with most modern browsers, and more importantly it generates a reference html page demonstrating exactly how to load your custom font through the css [@font-face](https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face) at-rule, e.g.
-{{< highlight CSS "linenos=true, style=dracula" >}}
+{{< highlight CSS "linenos=true, style=paraiso-dark" >}}
@font-face {
font-family: 'BQN386';
src: url('BQN386.woff2') format('woff2'),
@@ -32,7 +32,7 @@ This generator does a few nice things; first, it will provide you with compresse
Note that the font format 'src' ordering is from most modern to least; this way, the most up-to-date format your browser is compatible with is the one that gets used.
Once the font has been defined, it can be loaded from the selector of your choice, e.g.
-{{< highlight CSS "linenos=true, style=dracula" >}}
+{{< highlight CSS "linenos=true, style=paraiso-dark" >}}
body {
font-family: 'BQN386';
}