[gnome-latex] BottomPanel: make the close button more beautiful

[Sébastien Wilmet <swilmet src gnome org>]

commit 3cebb278f5b8bcc02a2f2fa42d0eb2c01691e63d
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Sun Apr 19 23:00:38 2020 +0200

    BottomPanel: make the close button more beautiful

 src/bottom_panel.vala | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/bottom_panel.vala b/src/bottom_panel.vala
index 2881cb9..bbbb607 100644
--- a/src/bottom_panel.vala
+++ b/src/bottom_panel.vala
@@ -49,6 +49,8 @@ public class BottomPanel : Grid
     {
         Button close_button = Tepl.utils_create_close_button () as Button;
         close_button.tooltip_text = _("Hide panel");
+        close_button.margin = 3;
+
         close_button.clicked.connect (() => this.hide ());
 
         return close_button;