--- a/QTfrontend/pages.h	Thu Aug 07 15:21:11 2008 +0000
+++ b/QTfrontend/pages.h	Thu Aug 07 16:14:35 2008 +0000
@@ -67,6 +67,10 @@
     } else {
       const QIcon& lp=QIcon(btname);
       QSize sz = lp.actualSize(QSize(65535, 65535));
+      if (btname == ":/res/Save.png")
+      {
+      	butt->setStyleSheet("QPushButton{margin: 12px 0px 12px 0px;}");
+      }
       butt->setIcon(lp);
       butt->setFixedSize(sz);
       butt->setIconSize(sz);