From f8eee6d993232c4222fd459355675fca898d5280 Mon Sep 17 00:00:00 2001
From: BodgeMaster <>
Date: Tue, 16 Apr 2024 20:36:00 +0200
Subject: [PATCH] style: fix a bug with <pre> width

The width of terminal and paper text boxes could shrink below 80 characters
in the desktop layout. The will no longer do that.
---
 html_resources/style.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/html_resources/style.css b/html_resources/style.css
index 0b233bb..13b66fa 100644
--- a/html_resources/style.css
+++ b/html_resources/style.css
@@ -111,6 +111,11 @@ pre {
       whether the content fits on screen or not
     */
     overflow: visible;
+
+    /*
+      force it back to 80ch when the workaround from above doesn't apply
+    */
+    width: 80ch;
   }
 }