From 8761a248ebd472f6b4e0225ff3fd11a040fd14c1 Mon Sep 17 00:00:00 2001
From: masc4ii <markus.schweitzer@gmx.de>
Date: Wed, 17 Jul 2019 19:52:34 +0200
Subject: [PATCH] Correcting dock label font size on windows

---
 platform/qt/darkstyle/darkstyle.qss       | 1 +
 platform/qt/darkstyle/darkstyleModern.qss | 1 +
 2 files changed, 2 insertions(+)

diff --git a/platform/qt/darkstyle/darkstyle.qss b/platform/qt/darkstyle/darkstyle.qss
index 31ed0522..d4554cc0 100755
--- a/platform/qt/darkstyle/darkstyle.qss
+++ b/platform/qt/darkstyle/darkstyle.qss
@@ -134,6 +134,7 @@ QDockWidget::title{
 QDockWidget{
   titlebar-close-icon:url(:/darkstyle/icon_close.png);
   titlebar-normal-icon:url(:/darkstyle/icon_window_restore.png);
+  font:8pt;
 }
 QDockWidget::close-button,QDockWidget::float-button{
   subcontrol-position:top right;
diff --git a/platform/qt/darkstyle/darkstyleModern.qss b/platform/qt/darkstyle/darkstyleModern.qss
index 41eb7771..cebe9c26 100755
--- a/platform/qt/darkstyle/darkstyleModern.qss
+++ b/platform/qt/darkstyle/darkstyleModern.qss
@@ -134,6 +134,7 @@ QDockWidget::title{
 QDockWidget{
   titlebar-close-icon:url(:/darkstyle/icon_close.png);
   titlebar-normal-icon:url(:/darkstyle/icon_window_restore.png);
+  font:8pt;
 }
 QDockWidget::close-button,QDockWidget::float-button{
   subcontrol-position:top right;