From fe03420640a0c8df373c5dcacb47c93647575e6064f11468460ab655dcb2d2db Mon Sep 17 00:00:00 2001
From: Nicholas Johnson <>
Date: Sun, 27 Jul 2025 00:00:00 +0000
Subject: Add body padding width to CSS media query

Changing box-sizing from content-box to border-box caused the body width
to account for padding, so it has to be added back in order to get the
full 72 chars in the main content.
---
 assets/static/css/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/assets/static/css/style.css b/assets/static/css/style.css
index 2e6686b..67b42f2 100644
--- a/assets/static/css/style.css
+++ b/assets/static/css/style.css
@@ -99,9 +99,9 @@ blockquote, ol, p, pre, ul, .highlight {
 	padding: 1.4em;
 }
 
-@media only screen and (min-width: 72ch) {
+@media only screen and (min-width: calc(72ch + 2 * 1.4em)) {
 	.body {
-		max-width: 72ch;
+		max-width: calc(72ch + 2 * 1.4em);
 	}
 }
 
-- 
cgit v1.2.3