From a2b8265c459d040257704d89ce4741ad29f98a60 Mon Sep 17 00:00:00 2001
From: nekoppai
Date: Thu, 3 Aug 2023 15:30:28 +0000
Subject: General website improvements

* Added the IBM Plex font files used by the website
* Adjusted alignment of the website title---
 _site/styles.css | 103 ++++++++++++++++++++++++++++++++++++++++++++++++++++---
 1 file changed, 99 insertions(+), 4 deletions(-)

(limited to '_site/styles.css')

diff --git a/_site/styles.css b/_site/styles.css
index c270dc9..6d70c01 100644
--- a/_site/styles.css
+++ b/_site/styles.css
@@ -1,9 +1,94 @@
+@font-face {
+  font-family: "IBM Plex Mono";
+  font-style: normal;
+  font-weight: 700;
+  src: local("IBM Plex Mono Bold"), local("IBMPlexMono-Bold"), url("fonts/IBMPlexMono-Bold.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Mono";
+  font-style: italic;
+  font-weight: 700;
+  src: local("IBM Plex Mono Bold Italic"), local("IBMPlexMono-BoldItalic"), url("fonts/IBMPlexMono-BoldItalic.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Mono";
+  font-style: italic;
+  font-weight: 400;
+  src: local("IBM Plex Mono Italic"), local("IBMPlexMono-Italic"), url("fonts/IBMPlexMono-Italic.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Mono";
+  font-style: normal;
+  font-weight: 400;
+  src: local("IBM Plex Mono"), local("IBMPlexMono"), url("fonts/IBMPlexMono-Regular.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Sans";
+  font-style: normal;
+  font-weight: 700;
+  src: local("IBM Plex Sans Bold"), local("IBMPlexSans-Bold"), url("fonts/IBMPlexSans-Bold.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Sans";
+  font-style: italic;
+  font-weight: 700;
+  src: local("IBM Plex Sans Bold Italic"), local("IBMPlexSans-BoldItalic"), url("fonts/IBMPlexSans-BoldItalic.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Sans";
+  font-style: normal;
+  font-weight: 500;
+  src: local("IBM Plex Sans Medm"), local("IBMPlexSans-Medm"), url("fonts/IBMPlexSans-Medium.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Sans";
+  font-style: italic;
+  font-weight: 500;
+  src: local("IBM Plex Sans Medm Italic"), local("IBMPlexSans-MedmItalic"), url("fonts/IBMPlexSans-MediumItalic.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Sans";
+  font-style: normal;
+  font-weight: 450;
+  src: local("IBM Plex Sans Text"), local("IBMPlexSans-Text"), url("fonts/IBMPlexSans-Text.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Sans";
+  font-style: italic;
+  font-weight: 450;
+  src: local("IBM Plex Sans Text Italic"), local("IBMPlexSans-TextItalic"), url("fonts/IBMPlexSans-TextItalic.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Sans";
+  font-style: italic;
+  font-weight: 400;
+  src: local("IBM Plex Sans Italic"), local("IBMPlexSans-Italic"), url("fonts/IBMPlexSans-Italic.woff2") format("woff2");
+}
+
+@font-face {
+  font-family: "IBM Plex Sans";
+  font-style: normal;
+  font-weight: 400;
+  src: local("IBM Plex Sans"), local("IBMPlexSans"), url("fonts/IBMPlexSans-Regular.woff2") format("woff2");
+}
+
 body {
-  font-family: "IBM Plex Sans", sans-serif; /* Replace with your desired font for body text */
+  font-family: "IBM Plex Sans", sans-serif;
 }
 
 h1, h2, h3, h4, h5, h6 {
-  font-family: "IBM Plex Sans Text", sans-serif; /* Replace with your desired font for headers */
+  font-family: "IBM Plex Sans", sans-serif;
+  font-weight: 500;
 }
 
 table,
@@ -13,5 +98,15 @@ code {
 }
 
 .navbar {
-  font-family: 'IBM Plex Sans Text', sans-serif;
-}
\ No newline at end of file
+  font-family: 'IBM Plex Sans', sans-serif;
+  font-weight: 450;
+}
+
+.navbar-brand {
+  line-height: 1.975;
+}
+
+.navbar-brand .logo {
+  height: 32px;
+  margin-top: -4px;
+}
-- 
cgit v1.2.3