diff -r 32e854874df2 -r a9d237442958 QTfrontend/main.cpp
--- a/QTfrontend/main.cpp	Tue Aug 12 09:37:44 2008 +0000
+++ b/QTfrontend/main.cpp	Tue Aug 12 09:39:07 2008 +0000
@@ -181,9 +181,9 @@
 				"color: orange;"
 				"font: bold 14px;"
 				"padding: 3px;"
-				"margin-top: 56px;"
+				"margin-top: 46px;"
 				"margin-left: 12px;"
-				"padding-top: 10px;"
+				"padding-top: 20px;"
 				"}"
 			"QGroupBox::title{"
 				"subcontrol-origin: margin;"