[🐛] Fixed window area margins
This commit is contained in:
parent
1811a22c20
commit
7e55a04a99
1 changed files with 1 additions and 20 deletions
|
|
@ -77,6 +77,7 @@ window-area {
|
|||
position: relative;
|
||||
width: calc(100% - 40px);
|
||||
margin-left: 20px;
|
||||
margin-bottom: 20px;
|
||||
height: 100%;
|
||||
overflow: hidden;
|
||||
|
||||
|
|
@ -174,23 +175,3 @@ launcher {
|
|||
}
|
||||
}
|
||||
}
|
||||
|
||||
.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;
|
||||
}
|
||||
Loading…
Add table
Reference in a new issue