Add a panel toggle button to some pages.

1 files changed, 16 insertions, 4 deletions

diff --git a/panel.js b/panel.js
index f100020..13444af 100644
--- a/panel.js
+++ b/panel.js
@@ -38,14 +38,26 @@ function setupevents()
 	{
 		if(!fold)
 		{document.getElementById("panel").style.left="-15em";fold=true;}
-	} 
+	}
+	document.getElementById("panel").classList.remove("collapsed");
+	document.getElementById("content").classList.remove("expanded");
 }
 function unsetevents()
 {
 	window.ontouchstart=undefined;
 	window.ontouchmove=undefined;
 	window.ontouchend=undefined;
-	document.getElementById("panel").onmouseenter=undefined;
-	document.getElementById("panel").onmouseleave=undefined;
-	document.getElementById("panel").style.left=null;
+	const p=document.getElementById("panel");
+	p.onmouseenter=undefined;
+	p.onmouseleave=undefined;
+	p.style.left=null;
+	if (!p.classList.contains("collapsed"))
+		document.getElementById("paneltoggle").innerHTML="«";
+}
+function togglepanel()
+{
+	let c = document.getElementById("panel").classList.toggle("collapsed");
+	if (c) document.getElementById("content").classList.add("expanded");
+	else document.getElementById("content").classList.remove("expanded");
+	document.getElementById("paneltoggle").innerHTML=c?"»":"«";
 }