From 5c223dfd12670ced1bf03aff30f42f86e5fb8a3f Mon Sep 17 00:00:00 2001
From: azivner <adam.zivner@gmail.com>
Date: Sun, 13 Jan 2019 21:04:08 +0100
Subject: [PATCH] all fonts are relative so it's easier to scale them properly

---
 src/public/stylesheets/desktop.css | 2 +-
 src/public/stylesheets/style.css   | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/public/stylesheets/desktop.css b/src/public/stylesheets/desktop.css
index ff9d24f39..174c004c7 100644
--- a/src/public/stylesheets/desktop.css
+++ b/src/public/stylesheets/desktop.css
@@ -44,7 +44,7 @@
 
 #header button {
     padding: 1px 5px 1px 5px;
-    font-size: small;
+    font-size: smaller;
     margin-bottom: 2px;
     margin-top: 2px;
     margin-right: 8px;
diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css
index d44240475..61f7899d4 100644
--- a/src/public/stylesheets/style.css
+++ b/src/public/stylesheets/style.css
@@ -89,7 +89,7 @@ button.close {
 #note-title {
     margin-left: 15px;
     margin-right: 10px;
-    font-size: x-large;
+    font-size: 150%;
     border: 0;
     width: 5em;
     flex-grow: 100;
@@ -436,7 +436,7 @@ div.ui-tooltip {
 
 #file-table th, #file-table td {
     padding: 10px;
-    font-size: large;
+    font-size: larger;
 }
 
 #children-overview {
@@ -452,7 +452,7 @@ div.ui-tooltip {
 
 .child-overview {
     font-weight: bold;
-    font-size: large;
+    font-size: larger;
     padding: 10px;
     background: var(--accented-background-color);
     width: 150px;
@@ -740,7 +740,7 @@ div[data-notify="container"] {
     position: absolute;
     right: 10px;
     top: 11px;
-    font-size: x-large;
+    font-size: 150%;
     color: #777;
     z-index: 100;
 }