From 611dbfd1edf6e1d234f58a3390d2f26f0a2dba68 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 25 Feb 2023 17:26:16 +0100
Subject: Added font and fixed responsiveness

---
 docs/content.css       |   7 ++++++-
 docs/content.js        |   2 +-
 docs/gen.sh            |   2 +-
 docs/index.css         |   7 ++++++-
 docs/res/iosevka.woff2 | Bin 0 -> 964132 bytes
 docs/style.css         |  11 ++++++++---
 6 files changed, 22 insertions(+), 7 deletions(-)
 create mode 100644 docs/res/iosevka.woff2

diff --git a/docs/content.css b/docs/content.css
index 941e5c3..82ee027 100644
--- a/docs/content.css
+++ b/docs/content.css
@@ -1,5 +1,10 @@
+@font-face {
+	font-family: "Iosevka";
+	src: url("iosevka.woff2") format("woff2");
+}
+
 body {
-	font-family: monospace;
+	font-family: "Iosevka", monospace;
 	background-color: #222222;
 	color: #cccccc;
 	font-size: 1.2em;
diff --git a/docs/content.js b/docs/content.js
index 4fb7a16..f107fc5 100644
--- a/docs/content.js
+++ b/docs/content.js
@@ -8,7 +8,7 @@ const term = t => t
 	.replaceAll(/(\))(?!\<)/g, "<span class='right-app'>)</span>")
 	.replaceAll("[", "<span class='left-abs'>[</span>")
 	.replaceAll("]", "<span class='right-abs'>]</span>")
-	.replaceAll(/(?<![+-0-9])([0-9])/g, "<span class='index'>$1</span>")
+	.replaceAll(/(?<![+-\d])([0-9])/g, "<span class='index'>$1</span>")
 
 code.innerHTML = code.innerHTML
 	.replaceAll(/^:import std\/(.*) (.*)$/gm, (_, p, s) => `<span class="com">:import</span> <a href='${fixPath(p)}.bruijn.html'>std/${p}</a> ${s}`)
diff --git a/docs/gen.sh b/docs/gen.sh
index 4e7a80b..67ffd7b 100755
--- a/docs/gen.sh
+++ b/docs/gen.sh
@@ -17,4 +17,4 @@ done
 
 sed -e "s@LINKS@$links@g" index.template >std/index.html
 
-cp content.js content.css index.css std/
+cp res/* content.js content.css index.css std/
diff --git a/docs/index.css b/docs/index.css
index 1e70968..e28f004 100644
--- a/docs/index.css
+++ b/docs/index.css
@@ -1,5 +1,10 @@
+@font-face {
+	font-family: "Iosevka";
+	src: url("iosevka.woff2") format("woff2");
+}
+
 body {
-	font-family: monospace;
+	font-family: "Iosevka", monospace;
 	background-color: #222222;
 	color: #cccccc;
 	font-size: 1.2em;
diff --git a/docs/res/iosevka.woff2 b/docs/res/iosevka.woff2
new file mode 100644
index 0000000..d8f8bfb
Binary files /dev/null and b/docs/res/iosevka.woff2 differ
diff --git a/docs/style.css b/docs/style.css
index 7eec6b0..3e50015 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -1,5 +1,10 @@
+@font-face {
+	font-family: "Iosevka";
+	src: url("res/iosevka.woff2") format("woff2");
+}
+
 body {
-	font-family: monospace;
+	font-family: "Iosevka", monospace;
 	background-color: #222222;
 	color: #cccccc;
 	font-size: 1.2em;
@@ -38,7 +43,7 @@ a {
 }
 
 .example p {
-	font-size: 1.3em;
+	font-size: 1.2em;
 	max-width: 80vw;
 	text-align: center;
 }
@@ -56,7 +61,7 @@ a {
 
 	.example p {
 		width: 30vw;
-		font-size: 1.5em;
+		font-size: 1.3em;
 	}
 
 	.instructions {
-- 
cgit v1.2.3