From 403ae5fa1e01874b9a5abad25cdbafa81e10b85a Mon Sep 17 00:00:00 2001
From: Syndamia <kamen@syndamia.com>
Date: Mon, 10 Jul 2023 11:14:26 +0300
Subject: (font) Added a FontForge script to generate my font and added font to
 styles

Icons on website will be Unicode characters. They will be the same as before, aka tabler icons, but rather than
including the thousands that come with it, I'm including only the ones I need, thanks to FontForge.
---
 src/styles.css | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'src/styles.css')

diff --git a/src/styles.css b/src/styles.css
index d9e9ac8..531cad5 100644
--- a/src/styles.css
+++ b/src/styles.css
@@ -109,14 +109,19 @@
 
 /* Global */
 
+@font-face {
+  font-family: 'Tabler';
+  src: url('/font/tabler-icons-subset.ttf') format('truetype');
+}
+
 body {
     background-color: var(--body-bg);
     border-color: var(--border-color);
     color: var(--fg-color);
     min-height: calc(100vh - 16px);
   }
-  nav, article     { background-color: var(--bg-color); }
-  body, td, th { font: 18px sans-serif; }
+  nav, article { background-color: var(--bg-color); }
+  body, td, th { font-size: 18px; font-family: 'Tabler', sans-serif; }
   *            { line-height: 1.3em; }
 
 img {
@@ -311,7 +316,6 @@ dt, dd {
     #sidebar > :not(:first-child) { margin-top: 1.5rem; }
     #sidebar a                    { border: none; }
 
-    #header, #footer { font-family: Arial; }
     #header {
         border-right: none;
         font-size: 1.5em;
@@ -333,7 +337,7 @@ dt, dd {
           display: inline-block;
           line-height: 1em;
           border: 1px solid var(--border-color);
-          padding: 0.2em 0.3em;
+          padding: 0.2em 0.3em 0.4em;
           /* Thanks https://stackoverflow.com/a/4407335/12036073 */
           -webkit-touch-callout: none; /* iOS Safari */
           -webkit-user-select: none; /* Safari */
-- 
cgit v1.3.1-26-gb76a