From 0f57385325c0d65b7c36083564f8da0a8c284484 Mon Sep 17 00:00:00 2001
From: Klaus Basan <klaus.basan@klausbasan.de>
Date: Mon, 3 Apr 2017 23:50:00 +0200
Subject: [PATCH] refs #902, qss GroupBox margin

---
 src/blackgui/share/qss/stdwidget.qss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/blackgui/share/qss/stdwidget.qss b/src/blackgui/share/qss/stdwidget.qss
index 50bc1ade4..286e9e142 100644
--- a/src/blackgui/share/qss/stdwidget.qss
+++ b/src/blackgui/share/qss/stdwidget.qss
@@ -276,7 +276,7 @@ QPlainTextEdit {
 
 QGroupBox {
   border: 1px solid green;
-  margin-top: 2.5ex; /* leave space at the top for the title */
+  margin-top: 2ex; /* the x-height of the relevant font, leave space at the top for the title */
   border-radius: 5px;
   background: black; /* background is background color here */
   background-image: url(:/textures/icons/textures/texture-inner.jpg);