From e6bf88673f31e62050333f98d6bcd407ac34c13d Mon Sep 17 00:00:00 2001
From: Přemysl Eric Janouch <p@janouch.name>
Date: Thu, 22 Sep 2022 18:57:14 +0200
Subject: xP: produce a custom font for IRC formatting

Given that the generated file needs a manual adjustment,
its small size, and the dependencies involved,
it will be checked in to the repository.
---
 xP/public/xP.css | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'xP/public/xP.css')

diff --git a/xP/public/xP.css b/xP/public/xP.css
index 87cfec2..1f4dae8 100644
--- a/xP/public/xP.css
+++ b/xP/public/xP.css
@@ -1,7 +1,14 @@
+@font-face {
+	src: url('ircfmt.woff2') format('woff2');
+	font-family: 'IRC Formatting';
+	font-weight: normal;
+	font-style: normal;
+}
 body {
 	margin: 0;
 	padding: 0;
-	font-family: sans-serif;
+	/* Firefox only renders C0 within the textarea, why? */
+	font-family: 'IRC Formatting', sans-serif;
 	font-size: clamp(0.5rem, 2vw, 1rem);
 }
 .xP {
@@ -133,7 +140,7 @@ button:hover:active {
 	font-family: monospace;
 	overflow-y: auto;
 }
-.log, .content {
+.log, .content, .completions {
 	/* Note: https://bugs.chromium.org/p/chromium/issues/detail?id=1261435 */
 	white-space: break-spaces;
 	overflow-wrap: break-word;
-- 
cgit v1.2.3-70-g09d2