Add margin to GUI
This commit is contained in:
parent
5852979a68
commit
95bf39fb9d
2 changed files with 1 additions and 1 deletions
|
@ -842,7 +842,6 @@ body.gui .top>.CodeMirror {
|
||||||
}
|
}
|
||||||
|
|
||||||
.top>.gui {
|
.top>.gui {
|
||||||
height: 100px;
|
|
||||||
height: 100%;
|
height: 100%;
|
||||||
width: 100%;
|
width: 100%;
|
||||||
background: #292b2f;
|
background: #292b2f;
|
||||||
|
@ -851,6 +850,7 @@ body.gui .top>.CodeMirror {
|
||||||
overflow-x: hidden;
|
overflow-x: hidden;
|
||||||
scrollbar-color: #202225 #292b2f;
|
scrollbar-color: #202225 #292b2f;
|
||||||
scrollbar-width: thin;
|
scrollbar-width: thin;
|
||||||
|
margin-top: 15px;
|
||||||
}
|
}
|
||||||
|
|
||||||
body:not(.gui) .top>.gui, body:not(.gui) .bottom, body:not(.gui) .pickerToggle {
|
body:not(.gui) .top>.gui, body:not(.gui) .bottom, body:not(.gui) .pickerToggle {
|
||||||
|
|
Binary file not shown.
Before Width: | Height: | Size: 235 KiB After Width: | Height: | Size: 288 KiB |
Loading…
Add table
Reference in a new issue