From 8c1f8906f48f6a2084c351a6867873a788d79d94 Mon Sep 17 00:00:00 2001
From: Nils Maier <maierman@web.de>
Date: Wed, 21 Aug 2019 15:06:34 +0200
Subject: [PATCH] specify table font size on all platforms

---
 style/common.css | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/style/common.css b/style/common.css
index 3f3e05d..28b5eb3 100644
--- a/style/common.css
+++ b/style/common.css
@@ -173,12 +173,9 @@ section {
   text-align: end;
 }
 
-.virtualtable-container {
+.virtualtable {
   font: message-box;
-}
-
-*[data-platform="linux"] .virtualtable-container {
-  font-size: 12pt !important;
+  font-size: 12px;
 }
 
 .virtualtable-column {