Adjust default fonts (#5146)

* Adjust default fonts

* Adjust default ratio
This commit is contained in:
Karl Burtram
2019-04-22 17:30:16 -07:00
committed by GitHub
parent 5e62229f25
commit 32374f264f
9 changed files with 20 additions and 12 deletions

View File

@@ -75,7 +75,10 @@ margin-bottom: 2px;
/* OE and connection element group */
.monaco-tree .monaco-tree-rows > .monaco-tree-row > .content > .connection-tile,
.monaco-tree .monaco-tree-rows > .monaco-tree-row > .content > .object-element-group {
padding: 5px;
padding-left: 5px;
padding-right: 5px;
padding-top: 3px;
padding-bottom: 3px;
overflow: hidden;
}