Menu borders resize

source/ubl-settings-usergroups.c

@@ -1562,6 +1562,7 @@ main_window *yon_main_window_complete(main_window *widgets){
 	widgets->GroupsTree=yon_gtk_builder_get_widget(builder,"GroupsTree");
 	widgets->MainNotebook=yon_gtk_builder_get_widget(builder,"MainNotebook");
     
+	gtk_style_context_add_class(gtk_widget_get_style_context(widgets->DocumentationMenuItem),"menuitemmiddlemargin");
     
     if (main_config.lock_load_global == 1){
         gtk_widget_set_sensitive(widgets->LoadGlobalMenuItem,0);

ubl-settings-usergroups.css

@@ -39,6 +39,10 @@ background:transparent;
 	border-right-width:inherit;
   }
   
+.menuitemmiddlemargin{
+	margin-top: 4px;
+}
+
   .menuitemtop{
 	margin-bottom:0px;
 	border-color:inherit;
@@ -47,7 +51,7 @@ background:transparent;
 	border-right-width:inherit;
   }
   .menuitemtop *{
-	margin:2px 2px 0 2px;
+	margin:4px 2px 0 2px;
 	padding: 3px 10px 3px 5px;
 	border:transparent;
   }
@@ -82,7 +86,7 @@ background:transparent;
 	
   }
   .menuitemtop:hover* {
-	margin:2px 2px 0 2px;
+	margin:4px 2px 0 2px;
 	padding: 3px 10px 3px 5px;
 	background:@theme_selected_bg_color;
 	border-radius:2px;