bug fixes

2025-11-07 22:05:44 +01:00 · 2020-08-27 22:03:56 +02:00
parent 445902d081
commit ef996f3919
7 changed files with 34 additions and 16 deletions
--- a/src/public/app/widgets/global_menu.js
+++ b/src/public/app/widgets/global_menu.js
@@ -7,12 +7,18 @@ const TPL = `
    <style>
    .global-menu-wrapper {
        height: 35px;
+        box-sizing: border-box;
        border-bottom: 1px solid var(--main-border-color);
    }
    
+    .global-menu {
+        height: 34px;
+        box-sizing: border-box;
+    }
+    
    .global-menu button {
        margin-right: 10px;
-        height: 33px;
+        height: 34px;
        border: none;
    }