From fe29d1cbf559d7916c43cd8d5fddd17ca08cfa7e Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Sun, 20 Nov 2022 18:51:15 +0000 Subject: [PATCH] js: Replace status-bar holder in HTML with status bar itself This makes the HTML simpler, and will allow for simplifying the JS too. --- html/jspage.pl | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/html/jspage.pl b/html/jspage.pl index 5376a9a..03e8695 100755 --- a/html/jspage.pl +++ b/html/jspage.pl @@ -286,10 +286,6 @@ EOF width: 100%; } -#statusbarholder { - display: block; -} - #apology { padding: 0 1em 0 1em; margin: 1em; @@ -339,7 +335,7 @@ ${unfinishedpara}
-
+