From 413647af4c0084c078e571f4f62e93918fa1ebb1 Mon Sep 17 00:00:00 2001
From: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
Date: Tue, 13 Nov 2018 07:21:42 -0500
Subject: [PATCH] Fix unwanted scroll in navigator when no workspace is present

Fixes #3470

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
Signed-off-by: Bogdan Stolojan <petre.stolojan@arm.com>
---
 packages/navigator/src/browser/style/index.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/navigator/src/browser/style/index.css b/packages/navigator/src/browser/style/index.css
index ffe5950409984..f8c6dca6616f1 100644
--- a/packages/navigator/src/browser/style/index.css
+++ b/packages/navigator/src/browser/style/index.css
@@ -17,7 +17,7 @@
 .theia-navigator-container {
     font-size: var(--theia-ui-font-size1);
     color: var(--theia-ui-font-color1);
-    margin: 5px;
+    padding: 5px;
     position: relative;
 }