diff --git a/resources/style.qss b/resources/style.qss
index 57e2b47d..dced298b 100644
--- a/resources/style.qss
+++ b/resources/style.qss
@@ -1,4 +1,4 @@
-QWidget#DockPaletteWidgetBox
+QWidget#DockPaletteWidgetBox, QWidget#documentNavigator
 {
 	background: #EEEEEE;
 	border-radius: 10px;
diff --git a/src/gui/UBPageNavigationWidget.cpp b/src/gui/UBPageNavigationWidget.cpp
index a5fd7ed3..b0a4e444 100644
--- a/src/gui/UBPageNavigationWidget.cpp
+++ b/src/gui/UBPageNavigationWidget.cpp
@@ -31,17 +31,17 @@ UBPageNavigationWidget::UBPageNavigationWidget(QWidget *parent, const char *name
 {
     setObjectName(name);
     mName = "PageNavigator";
+    setAttribute(Qt::WA_StyledBackground, true);
+    setStyleSheet(UBApplication::globalStyleSheet());
 
     mIconToRight = QPixmap(":images/pages_open.png");
     mIconToLeft = QPixmap(":images/pages_close.png");
 
     // Build the gui
     mLayout = new QVBoxLayout(this);
-    //mLayout->setContentsMargins(customMargin(), customMargin(), 2*border() + customMargin(), customMargin());
     setLayout(mLayout);
 
     mNavigator = new UBDocumentNavigator(this);
-    mNavigator->setStyleSheet(QString("background-color : transparent;"));
     mLayout->addWidget(mNavigator, 1);
 
     mHLayout = new QHBoxLayout();
diff --git a/src/tools/Mask_specification.doc b/src/tools/Mask_specification.doc
deleted file mode 100644
index e9abd364..00000000
Binary files a/src/tools/Mask_specification.doc and /dev/null differ