From e928d202eecb4a988f0853ced463799d62b7d49a Mon Sep 17 00:00:00 2001
From: Nils Maier <maierman@web.de>
Date: Sat, 7 Sep 2019 20:13:37 +0200
Subject: [PATCH] Use the same base font size on all platforms

---
 style/common.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/style/common.css b/style/common.css
index 99b14cd..1d214f5 100644
--- a/style/common.css
+++ b/style/common.css
@@ -25,6 +25,10 @@ html[data-platform="mac"] {
   --folder-color: rgb(4, 102, 214);
 }
 
+html, body {
+  font-size: 10pt !important;
+}
+
 @font-face {
   font-family: 'downthemall';
   src: url('downthemall.woff2?75791791') format('woff2');