Fix unwanted scroll in navigator when no workspace is present

Fixes #3470 Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
eclipse-theia · Nov 13, 2018 · 6ff541f · 6ff541f
1 parent 5d91e29
commit 6ff541f
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;
 }