From 19642a553f22df5934b75e7a06aafc59d78443ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Mierzwa?= <l.mierzwa@gmail.com>
Date: Thu, 4 Oct 2018 22:26:19 +0100
Subject: [PATCH] fix(ui): use more compatible body style setter

This works on Firefox 33, style[] syntax is only supported for FF >=35
---
 ui/src/Components/NavBar/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/src/Components/NavBar/index.js b/ui/src/Components/NavBar/index.js
index 3590ad0aa..910dd78e1 100644
--- a/ui/src/Components/NavBar/index.js
+++ b/ui/src/Components/NavBar/index.js
@@ -71,7 +71,7 @@ const NavBar = observer(
       const paddingTop = this.activityStatus.idle
         ? 0
         : this.elementSize.height + 4;
-      document.body.style["padding-top"] = `${paddingTop}px`;
+      document.body.style.paddingTop = `${paddingTop}px`;
     };
 
     onHide = () => {