diff --git a/src/style.less b/src/style.less index 092c6d8..dbb9c17 100644 --- a/src/style.less +++ b/src/style.less @@ -77,6 +77,7 @@ window-area { position: relative; width: calc(100% - 40px); margin-left: 20px; + margin-bottom: 20px; height: 100%; overflow: hidden; @@ -173,24 +174,4 @@ launcher { border: 2px solid var(--text); } } -} - -.ace_editor * { - font-family: monospace; -} - -.ace_marker-layer .ace_active-line, .ace_layer.ace_gutter-layer.ace_folding-enabled, .ace_gutter { - background: var(--mantle)!important; -} - -.ace_content, .ace_scroller { - background: var(--base)!important; -} - -.ace_gutter-cell.ace_info { - background: var(--crust)!important; -} - -.ace_marker-layer .ace_selection { - background: var(--surface-0)!important; } \ No newline at end of file