From d3784d0addb12c7200e1afa50ffec0ed1ee047a4 Mon Sep 17 00:00:00 2001
From: Nils Maier <MaierMan@web.de>
Date: Wed, 21 Aug 2019 14:30:15 +0200
Subject: [PATCH] linux tends to have HUGE fonts

---
 style/common.css  | 6 ++++--
 style/manager.css | 5 ++++-
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/style/common.css b/style/common.css
index 3061e98..dc27dfb 100644
--- a/style/common.css
+++ b/style/common.css
@@ -175,6 +175,10 @@ section {
   font: message-box;
 }
 
+*[data-platform="linux"] .virtualtable-container {
+  font-size: 12pt !important;
+}
+
 .virtualtable-column {
   cursor: pointer;
 }
@@ -184,11 +188,9 @@ section {
 }
 
 th.virtualtable {
-  font: caption;
   font-weight: bold;
 }
 td.virtualtable {
-  font: message-box;
   line-height: 16px;
   vertical-align: middle;
 }
diff --git a/style/manager.css b/style/manager.css
index dc8d2d6..5618f01 100644
--- a/style/manager.css
+++ b/style/manager.css
@@ -371,6 +371,9 @@ body > * {
   }
 }
 
+#nagging, #nagging * {
+  font-size: 10pt !important;
+}
 #nagging {
   border-top: 1px solid lightgray;
   display: grid;
@@ -383,7 +386,7 @@ body > * {
   min-height: 2em;
 }
 
-@media (max-width: 850px) {
+@media (max-width: 1000px) {
   #nagging-message {
     grid-column: 1 / -1;
   }