merge dev

2021-06-04 08:53:45 +02:00
parent e43fe7cebd e190c3b8d6
commit f24a547814
87 changed files with 1903 additions and 1726 deletions
@@ -1,8 +1,10 @@
 <style>
+    #menuIcon button {
+        padding: 2px 8px;
+    }
    #menuIcon button img{
        width: 8px;
        padding-top: 0;
-        cursor: url('/resources/logos/cursor_pointer.png'), pointer;
    }
    #menuIcon section {
        margin: 10px;