From 7c17087920bdd537728edadf57108eaf4e0dccd9 Mon Sep 17 00:00:00 2001
From: Tom Alexander <tom@fizz.buzz>
Date: Sun, 16 Feb 2025 11:45:52 -0500
Subject: [PATCH] Show bold text as bold.

---
 default_environment/stylesheet/main.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/default_environment/stylesheet/main.css b/default_environment/stylesheet/main.css
index c2f88d1..7e8e862 100644
--- a/default_environment/stylesheet/main.css
+++ b/default_environment/stylesheet/main.css
@@ -266,4 +266,8 @@ body {
       }
     }
   }
+
+  b {
+    font-weight: 700;
+  }
 }