[gnome-software: 15/18] details-page: Make header margins smaller

[Philip Withnall <pwithnall src gnome org>]

commit 13b4675264b35dc4489552110eb703c4b41cd844
Author: Adrien Plazas <kekun plazas laposte net>
Date:   Wed Aug 11 15:17:14 2021 +0200

    details-page: Make header margins smaller
    
    This is wanted by the designers.

 src/gs-details-page.ui | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/src/gs-details-page.ui b/src/gs-details-page.ui
index 33bd063be..d93ef331d 100644
--- a/src/gs-details-page.ui
+++ b/src/gs-details-page.ui
@@ -136,7 +136,7 @@
                                   <object class="GtkBox" id="box_details_header_not_icon">
                                     <property name="orientation">horizontal</property>
                                     <property name="visible">True</property>
-                                    <property name="spacing">10</property>
+                                    <property name="spacing">6</property>
                                     <child>
                                       <object class="GtkBox" id="box_details_header2">
                                         <property name="orientation">vertical</property>
@@ -194,7 +194,6 @@
                                         </child>
                                         <child>
                                           <object class="GtkBox" id="star_box">
-                                            <property name="margin-top">6</property>
                                             <property name="visible">True</property>
                                             <property name="valign">start</property>
                                             <child>