Add margins around the page

This commit is contained in:
2023-09-13 15:13:46 +02:00
parent 70b8862577
commit 91144ed14b
6 changed files with 46 additions and 28 deletions

View File

@@ -29,23 +29,14 @@
function toggleMenu() {
var nav = document.getElementById("page_navigation");
var body = document.getElementById("page_body");
var content = document.getElementById("page_content");
if (nav.offsetLeft === 0) {
// Menu is visible, hide it
nav.style.left = -nav.offsetWidth + "px";
body.style.marginLeft = "0";
if (content) {
content.style.borderTopLeftRadius = "0"
content.style.borderBottomLeftRadius = "0"
}
} else {
// Menu is hidden, show it
nav.style.left = "0";
body.style.marginLeft = nav.offsetWidth + "px";
if (content) {
content.style.borderTopLeftRadius = "8px"
content.style.borderBottomLeftRadius = "8px"
}
}
}
function resetMenu() {

View File

@@ -11,7 +11,7 @@
background-color: var(--background_color);
background-blend-mode: luminosity;
color: #ffffff;
box-shadow: inset 0 0 2px 0 var(--shadow_color);
box-shadow: inset 0 0 10px -4px var(--shadow_color);
border: none;
}
</style>