From 9695785e5c9a93e5f303b4cbd53a9070eec1ac32 Mon Sep 17 00:00:00 2001
From: Daniel Kraus <bovender@bovender.de>
Date: Fri, 4 Oct 2024 17:01:16 +0200
Subject: [PATCH] Use bold rather than medium font for strong emphasis.

---
 assets/scss/_predefined.scss | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/assets/scss/_predefined.scss b/assets/scss/_predefined.scss
index 6c11f45..a9415b7 100644
--- a/assets/scss/_predefined.scss
+++ b/assets/scss/_predefined.scss
@@ -45,18 +45,18 @@ $code-fonts: "IBM Plex Mono Light",  Consolas, "Andale Mono WT", "Andale Mono",
   font-family: 'IBM Plex Sans Light';
   font-style: normal;
   font-weight: 700;
-  src: local('IBM Plex Sans Medm'),
-    local('IBMPlexSans-Medm'),
-    url('/fonts/IBMPlexSans-Medium.woff2') format('woff2');
+  src: local('IBM Plex Sans Bold'),
+    local('IBMPlexSans-Bold'),
+    url('/fonts/IBMPlexSans-Bold.woff2') format('woff2');
 }
 
 @font-face {
   font-family: 'IBM Plex Sans Light';
   font-style: italic;
   font-weight: 700;
-  src: local('IBM Plex Sans Medm Italic'),
-    local('IBMPlexSans-MedmItalic'),
-    url('/fonts/IBMPlexSans-MediumItalic.woff2') format('woff2');
+  src: local('IBM Plex Sans Bold Italic'),
+    local('IBMPlexSans-BoldItalic'),
+    url('/fonts/IBMPlexSans-BoldItalic.woff2') format('woff2');
 }
 
 @font-face {