From 4ca4bd3acbb0a4e45f8d66461b8cb9c2ae8e5659 Mon Sep 17 00:00:00 2001
From: Mike Lynch <m.lynch@sydney.edu.au>
Date: Sun, 16 Nov 2025 15:41:23 +1100
Subject: [PATCH] Fixed minor bug where the release notes div was persisting

---
 index.html |  6 ++----
 main.js    | 10 +++++-----
 2 files changed, 7 insertions(+), 9 deletions(-)

diff --git a/index.html b/index.html
index a96fe8c..03e203b 100644
--- a/index.html
+++ b/index.html
@@ -18,12 +18,10 @@
 				position: fixed;
 				top: 0;
 				left: 0;
-				width: 50%;
+				width: 20%;
 				z-index: 2;
-				font-family: sans-serif;
 				padding: 1em;
-				visibility: none;
-				background: #ffffff;
+				font-family: sans-serif;
 			}
 			div#info {
 				position: fixed;
diff --git a/main.js b/main.js
index 45ef86a..16591e6 100644
--- a/main.js
+++ b/main.js
@@ -123,16 +123,16 @@ function showDocs(visible) {
 
 function releaseNotes() {
     showDocs(false);
-    const docdiv = document.getElementById("release_notes");
-    docdiv.style.display = '';
-    docdiv.innerHTML = RELEASE_NOTES + '<p><a id="no_notes" href="#">[hide]</a>';
+    const reldiv = document.getElementById("release_notes");
+    reldiv.style.display = '';
+    reldiv.innerHTML = RELEASE_NOTES + '<p><a id="no_notes" href="#">[hide]</a>';
     const goaway = document.getElementById("no_notes");
     goaway.addEventListener('click', noNotes);
     }
 
 function noNotes() {
-    	const docdiv = document.getElementById("release_notes");
- 	docdiv.style.display = 'none';
+    	const reldiv = document.getElementById("release_notes");
+ 	reldiv.style.display = 'none';
 }
 
 const relnotes = document.getElementById('show_notes');
-- 
2.47.3