davidvozdotnet

commit d34c3630b15b530f183d3b29a90dd13dce178cae
parent 86ceca9843e0217f2d268d787031512764d43104
Author: David Voznyarskiy <31452046-davidvoz@users.noreply.gitlab.com>
Date:   Tue, 13 Jan 2026 10:19:02 -0800

made dejavusansmono font mandatory

Diffstat:
A
src/fonts/DejaVuSansMono.woff
 | 
0

M
src/guides/style.css
 | 
4
++++
M
src/style.css
 | 
4
++++

3 files changed, 8 insertions(+), 0 deletions(-)
diff --git a/src/fonts/DejaVuSansMono.woff b/src/fonts/DejaVuSansMono.woff
Binary files differ.
diff --git a/src/guides/style.css b/src/guides/style.css
@@ -1,3 +1,7 @@
+@font-face {
+	font-family: "DejaVu Sans Mono", monospace;
+	src: url("/fonts/DejaVuSans.woff") format ("woff");
+}
 header {
 	color: #05dae6;
 	text-align: center;
diff --git a/src/style.css b/src/style.css
@@ -1,3 +1,7 @@
+@font-face {
+	font-family: "DejaVu Sans Mono", monospace;
+	src: url("/fonts/DejaVuSans.woff") format ("woff");
+}
 header {
 	color: #05dae6;
 	text-align: center;