Fix double scrollbar appearing in output panel

Signed-off-by: Rob Moran <rob.moran@arm.com>
eclipse-theia · Oct 11, 2018 · 8650dd1 · 8650dd1
1 parent 8c05cf3
commit 8650dd1
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/packages/output/src/browser/style/output.css b/packages/output/src/browser/style/output.css
@@ -14,15 +14,16 @@
  * SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
  ********************************************************************************/
 
-#outputView {
+ #outputView {
 	font-size: var(--theia-ui-font-size1);
-    padding: 6px;
     color: var(--theia-ui-font-color1);
 }
 
 #outputView #outputContents {
     overflow: auto;
     height: inherit;
+    padding: 6px;
+    box-sizing: border-box;
 }
 
 #outputView #outputChannelList {
@@ -44,6 +45,7 @@
     background-repeat: no-repeat;
     padding-left: 3px;
     padding-right: 15px;
+    margin: 6px;
 }
 
 .output-tab-icon::before {