From e60b8f8dc05b20781fecb8296c74c3e576f8164a Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Sun, 20 Mar 2022 18:56:07 +0530
Subject: website: Use Fira Code for code blocks.

* Makefile (fonts): Add FiraCode-Regular.woff2 and
FiraCode-SemiBold.woff2.
* website/style.css (@font-face: FiraCode-Regular, @font-face:
FiraCode-SemiBold): New font faces.
(pre, code, samp): Set font-family to 'Fira Code';
(pre): Set font-size to 0.9em.
(code, samp): Set font-size to 600 (semi-bold).
---
 Makefile          |  2 +-
 website/style.css | 20 ++++++++++++++++++++
 2 files changed, 21 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1b71874..f0d256e 100644
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,7 @@ doc_skribilo_config_go = $(doc_skribilo_config:.scm=.go)
 doc_sources = doc/forge.skb
 doc_snippets = $(wildcard doc/snippets/*.scm)
 doc_html = $(doc_sources:.skb=.html)
-fonts = $(addprefix $(GUIX_ENVIRONMENT)/share/fonts/web/, charter_regular.woff2)
+fonts = $(addprefix $(GUIX_ENVIRONMENT)/share/fonts/web/, charter_regular.woff2 FiraCode-Regular.woff2 FiraCode-SemiBold.woff2)
 
 .PHONY: all html clean
 all: ;
diff --git a/website/style.css b/website/style.css
index 5d8415c..bcd4136 100644
--- a/website/style.css
+++ b/website/style.css
@@ -5,6 +5,20 @@
     font-style: normal;
 }
 
+@font-face {
+    font-family: 'Fira Code';
+    src: url('/fonts/FiraCode-Regular.woff2') format('woff2');
+    font-weight: normal;
+    font-style: normal;
+}
+
+@font-face {
+    font-family: 'Fira Code';
+    src: url('/fonts/FiraCode-SemiBold.woff2') format('woff2');
+    font-weight: 600;
+    font-style: normal;
+}
+
 body {
     margin: 40px auto;
     max-width: 900px;
@@ -14,13 +28,19 @@ body {
     padding: 0 10px;
 }
 
+pre, code, samp {
+    font-family: 'Fira Code';
+}
+
 pre {
     background-color: #f0f0f0;
     padding: 1em;
+    font-size: 0.9em;
 }
 
 code, samp {
     font-size: 0.8em;
+    font-weight: 600;
 }
 
 /* Make the SVG badges clickable. */
-- 
cgit v1.2.3