Fix unwanted scroll in problems view when there are no markers

Fixes #3474 Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
eclipse-theia · Nov 13, 2018 · 0534258 · 0534258
1 parent 021f69f
commit 0534258
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/markers/src/browser/style/index.css b/packages/markers/src/browser/style/index.css
@@ -24,7 +24,7 @@
 }
 
 .theia-marker-container .noMarkers {
-    margin: 5px;
+    padding: 5px;
 }
 
 .theia-marker-container .markerNode,