This repository has been archived on 2023-08-24. You can view files and clone it, but cannot push or open issues or pull requests.
2022-09-21 21:07:49 +01:00
|
|
|
function menuFunction() {
|
2022-09-21 21:16:00 +01:00
|
|
|
var hidden = document.getElementById("menu-hidden");
|
2022-09-22 19:21:37 +01:00
|
|
|
if (hidden.style.display === "block") {
|
2022-09-21 21:16:00 +01:00
|
|
|
hidden.style.display = "none";
|
2022-09-21 21:07:49 +01:00
|
|
|
} else {
|
2022-09-21 21:16:00 +01:00
|
|
|
hidden.style.display = "block";
|
2022-09-21 21:07:49 +01:00
|
|
|
}
|
2022-09-08 21:05:49 +01:00
|
|
|
}
|
