update The font size in popup menu is a little small. How can I modif…

…y it? #239
vinceliuice · Jul 13, 2023 · 9535000 · 9535000
1 parent eedc867
commit 9535000
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/src/sass/gnome-shell/common/_popovers.scss b/src/sass/gnome-shell/common/_popovers.scss
@@ -173,20 +173,20 @@
 
 // separator
 .popup-separator-menu-item {
-  padding: 0;
+  padding: 0 !important;
   background: none;
   border: none;
-  height: 1px;
+  height: 0 !important;
 
   .popup-separator-menu-item-separator {
     height: 1px; //not really the whole box
-    margin: 0 40px;
+    margin: 0 40px !important;
     background-color: $borders_color;
-    padding: 0 0;
+    padding: 0 !important;
 
     .popup-sub-menu & { //submenu separators
-      padding: 0 0;
-      margin: 0 58px 0 24px;
+      padding: 0 !important;
+      margin: 0 58px 0 24px !important;
     }
   }
 }