Merge pull request 'devel' (#1 ) from devel into main

Reviewed-on: #1
2025-01-07 01:44:05 +01:00
3 changed files with 6870 additions and 30 deletions
--- a/6865
+++ b/6865
--- a/extra/style.css
+++ b/extra/style.css
@ -1,6 +1,3 @@
-* {
-    font-family: monospace;
-}
 #map { 
    height: 100vh; 
    width: 100%; 
@ -10,31 +7,12 @@
 }

 #sidebar {
-    transition-duration: 500ms;
    position: absolute;
-    width:20%;
-    height:50%;
-    top: 25%;
-    right: -20%;
-    z-index: 4000;
-    background-color: whitesmoke;
-    margin-left: 10px;
-}
-#sidebarText {
+    width:10%;
+    height:10%;
+    visibility: collapse;
+    overflow: hidden;

-    position:relative;
-    top: 0px;
-    left:-50px;
-    width: 150%;
-    height: 8%;
-    text-align: left;
-    background-color: grey;
-
-}
-
-#sidebar:hover {
-    transition-duration: 500ms;
-    right: 0%;
 }

 body {
--- a/index.html
+++ b/index.html
@ -11,9 +11,6 @@
    <body>
        <div id="map"></div>
        <script src="./map.js"></script>
-        <div id="sidebar">
-            <p id="sidebarText">Menu</p>
-            <p>Test</p>
-        </div>
+        <div id="sidebar"></div>
    </body>
 </html>