Fix menu margins for elementary stylesheet

src/resources/gtk/page-menu-popover.ui

@@ -4,7 +4,7 @@
     <child>
       <object class="GtkBox">
         <property name="can_focus">False</property>
-        <property name="border_width">12</property>
+        <property name="margin-bottom">12</property>
         <property name="orientation">vertical</property>
         <property name="visible">True</property>
         <child>
@@ -12,7 +12,8 @@
             <property name="visible">True</property>
             <property name="orientation">horizontal</property>
             <property name="homogeneous">True</property>
-            <property name="margin-bottom">6</property>
+            <property name="margin">12</property>
+            <property name="margin_bottom">0</property>
             <style>
                 <class name="linked"/>
             </style>
@@ -74,7 +75,9 @@
             <property name="orientation">horizontal</property>
             <property name="spacing">6</property>
             <property name="homogeneous">True</property>
-            <property name="margin-bottom">6</property>
+            <property name="margin">12</property>
+            <property name="margin_bottom">6</property>
+            <property name="margin_top">6</property>
             <child>
               <object class="GtkModelButton">
                 <property name="tooltip_text" translatable="yes">Print…</property>

src/resources/themes/Adwaita.css

@@ -6,6 +6,10 @@
 
 .floating-bar:backdrop { background-color: @theme_unfocused_base_color; border-color: @unfocused_borders; }
 
+popover.menu modelbutton { margin-left: 12px; margin-right: 12px }
+
+popover.menu separator { margin-left: 15px; margin-right: 15px }
+
 .incognito-mode headerbar { background-image: -gtk-icontheme("user-not-tracked-symbolic"); background-repeat: no-repeat; background-position: 157px 0; background-size: 64px 64px; color: rgba(0, 0, 0, 0.35); }
 
 .automation-mode headerbar { background-color: #ff9600; color: rgba(0, 0, 0, 0.35); }