From 3d95d69f80805311816acd5adf677350c3ff22b8 Mon Sep 17 00:00:00 2001
From: zadam <zadam.apps@gmail.com>
Date: Fri, 27 Dec 2019 21:18:14 +0100
Subject: [PATCH] styling hack for the design to look correct in both FF and
 chrome

---
 src/public/stylesheets/desktop.css | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/public/stylesheets/desktop.css b/src/public/stylesheets/desktop.css
index 0dc4825f8..02dbbbebe 100644
--- a/src/public/stylesheets/desktop.css
+++ b/src/public/stylesheets/desktop.css
@@ -270,7 +270,14 @@ body {
     position: relative;
     background: linear-gradient(to right, var(--main-border-color), transparent);
     height: 1px;
-    margin-top: 32px;
+    margin-top: 31px;
+}
+
+/* hack for 1 pixel difference in handling between FF and chrome */
+@-moz-document url-prefix() {
+    .tab-row-filler .tab-row-border {
+        margin-top: 32px;
+    }
 }
 
 .note-tab-row .note-tab[active] {