linux tends to have HUGE fonts

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;
 }

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;
   }