From 824f34bd4c9f60ae79c26438c4b576fd833ebe47 Mon Sep 17 00:00:00 2001
From: Tom Alexander <tom@fizz.buzz>
Date: Mon, 17 Feb 2025 20:57:40 -0500
Subject: [PATCH] Make everything box-sizing: border-box.

---
 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 6bcedde..95473df 100644
--- a/default_environment/stylesheet/main.css
+++ b/default_environment/stylesheet/main.css
@@ -44,6 +44,10 @@
   }
 }
 
+* {
+  box-sizing: border-box;
+}
+
 body {
   color: var(--site-text-color);
   background-color: var(--site-background-color);