Restore partial border effect for menu (#13878)

cherry-picked from 18c3af7
jupyterlab · Jan 30, 2023 · 9871170 · 9871170
1 parent 2be0821
commit 9871170
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/packages/application/style/menus.css b/packages/application/style/menus.css
@@ -27,7 +27,7 @@
 }
 
 .lm-MenuBar-menu {
-  transform: translateY(calc(-2 * var(--jp-border-width)));
+  top: calc(-2 * var(--jp-border-width));
 }
 
 .lm-MenuBar-item {
@@ -154,7 +154,7 @@
   border-top: var(--jp-border-width) solid var(--jp-layout-color2);
 }
 
-/* gray out icon/caret for disable menu items */
+/* gray out icon/caret for disabled menu items */
 .lm-Menu-item.lm-mod-disabled > .lm-Menu-itemIcon,
 .lm-Menu-item[data-type='submenu'].lm-mod-disabled > .lm-Menu-itemSubmenuIcon {
   opacity: 0.4;