docs(font): improve font settings, the previous settings were ineffective as Artegra is not available on Google Fonts.

qkaiser · qkaiser · commit 8ed5501ac940 · 2023-01-23T12:57:24.000+01:00
diff --git a/docs/ArtegraSans-Regular.ttf b/docs/ArtegraSans-Regular.ttf
diff --git a/docs/extra.css b/docs/extra.css
@@ -1,3 +1,12 @@
+@font-face {
+    font-family: "Artegra Sans";
+    src: url("ArtegraSans-Regular.ttf");
+}
+
+html {
+    font-family: "Artegra Sans", Sans-serif;
+}
+
 [data-md-color-scheme="default"] {
   --md-primary-fg-color:        #002060;
   --md-typeset-a-color:         #008ed5;
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -34,7 +34,7 @@ theme:
   logo: logo.svg
   favicon: favicon.png
   font:
-    text: Artegra Sans
+      text: Artegra Sans
   palette:
     - media: "(prefers-color-scheme: light)"
       scheme: default
