QTfrontend/main.cpp
changeset 1194 32e854874df2
parent 1193 2911384169b4
child 1195 a9d237442958
--- a/QTfrontend/main.cpp	Tue Aug 12 09:26:44 2008 +0000
+++ b/QTfrontend/main.cpp	Tue Aug 12 09:37:44 2008 +0000
@@ -181,9 +181,9 @@
 				"color: orange;"
 				"font: bold 14px;"
 				"padding: 3px;"
-				"margin-top: 60px;"
-				"margin-left: 16px;"
-				"padding-top: 6px;"
+				"margin-top: 56px;"
+				"margin-left: 12px;"
+				"padding-top: 10px;"
 				"}"
 			"QGroupBox::title{"
 				"subcontrol-origin: margin;"