--- a/Helpviewer/HelpTabWidget.py	Thu Jul 25 19:08:05 2013 +0200
+++ b/Helpviewer/HelpTabWidget.py	Fri Jul 26 18:52:45 2013 +0200
@@ -81,7 +81,7 @@
         
         self.__rightCornerWidget = QWidget(self)
         self.__rightCornerWidgetLayout = QHBoxLayout(self.__rightCornerWidget)
-        self.__rightCornerWidgetLayout.setMargin(0)
+        self.__rightCornerWidgetLayout.setContentsMargins(0, 0, 0, 0)
         self.__rightCornerWidgetLayout.setSpacing(0)
         
         self.__navigationMenu = QMenu(self)