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;"