Fix unwanted scroll in navigator when no workspace is present

Fixes eclipse-theia#3470 Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com> Signed-off-by: Bogdan Stolojan <petre.stolojan@arm.com>
ARMmbed · Jan 21, 2019 · 413647a · 413647a
1 parent 0f52a3a
commit 413647a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
 }