Merge pull request #3805 from ProjectMirador/window-top-menu-button-m…

…argin [MUI5] Reduce Window top menu button margin
ProjectMirador · Nov 21, 2023 · 9e998e3 · 9e998e3
2 parents c79062b + 8d9481d
commit 9e998e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/components/WindowTopMenuButton.js b/src/components/WindowTopMenuButton.js
@@ -61,7 +61,7 @@ export class WindowTopMenuButton extends Component {
           aria-owns={open ? menuId : undefined}
           className={open ? classes.ctrlBtnSelected : undefined}
           sx={{
-            margin: 1,
+            margin: 0.25,
             ...(open && {
               backgroundColor: 'action.selected',
             }),