From b7163e57378e7bf18e433ed0c4cdbd0e30065bf6 Mon Sep 17 00:00:00 2001
From: Fons van der Plas <fonsvdplas@gmail.com>
Date: Wed, 13 Dec 2023 16:03:08 +0100
Subject: [PATCH] whitespace

---
 frontend/hide-ui.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontend/hide-ui.css b/frontend/hide-ui.css
index 4312f0fab7..0cdf1a50ee 100644
--- a/frontend/hide-ui.css
+++ b/frontend/hide-ui.css
@@ -43,6 +43,7 @@ pluto-runarea,
         break-inside: auto;
     }
 
+    /* When printing, hr should act like a page break */
     pluto-output hr {
         height: 0;
         margin: 0;