Source APL385 font locally when possible.

Dyalog · Feb 13, 2022 · 66d4ce7 · 66d4ce7
1 parent 695e73f
commit 66d4ce7
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,6 +7,10 @@ In the first instance, it lists the changes between consecutive releases of this
 However, because this book is a rework of the first edition by Bernard Legrand,
 this changelog also marks with [n] content that is new in this rework.
 
+## 0.4.3.1
+
+  - Use local APL385 font when possible.
+
 ## 0.4.3
 
   - Stylistic improvements to online book:

diff --git a/book/_static/APL385.ttf b/book/_static/APL385.ttf
diff --git a/book/_static/custom.css b/book/_static/custom.css
@@ -1,6 +1,7 @@
 @font-face {
     font-family: "codefont";
-    src: url(APL385.ttf) format("truetype");
+    src: local("APL385 Unicode"),
+         url(APL385.ttf) format("truetype");
 }
 
 /* Use the code font where relevant. */