Compare commits

..

No commits in common. "0c45aeba9b27977bfef739e45c910c6d240c0dfe" and "64eed3491ab5e5c5653a8ba2374556acc3c43832" have entirely different histories.

2 changed files with 9 additions and 7 deletions

View File

@ -18,10 +18,12 @@
position: fixed;
top: 0;
left: 0;
width: 20%;
width: 50%;
z-index: 2;
padding: 1em;
font-family: sans-serif;
padding: 1em;
visibility: none;
background: #ffffff;
}
div#info {
position: fixed;

10
main.js
View File

@ -123,16 +123,16 @@ function showDocs(visible) {
function releaseNotes() {
showDocs(false);
const reldiv = document.getElementById("release_notes");
reldiv.style.display = '';
reldiv.innerHTML = RELEASE_NOTES + '<p><a id="no_notes" href="#">[hide]</a>';
const docdiv = document.getElementById("release_notes");
docdiv.style.display = '';
docdiv.innerHTML = RELEASE_NOTES + '<p><a id="no_notes" href="#">[hide]</a>';
const goaway = document.getElementById("no_notes");
goaway.addEventListener('click', noNotes);
}
function noNotes() {
const reldiv = document.getElementById("release_notes");
reldiv.style.display = 'none';
const docdiv = document.getElementById("release_notes");
docdiv.style.display = 'none';
}
const relnotes = document.getElementById('show_notes');