changeset 1195 | a9d237442958 |
parent 1194 | 32e854874df2 |
child 1197 | 0d935c599fa3 |
--- 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;"