mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-17 00:06:33 +00:00
check if we need output adjustments.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
efd1be3e85
commit
7f0bdfd45e
@ -132,6 +132,11 @@
|
||||
box-sizing: border-box;
|
||||
}
|
||||
|
||||
/* To left shift the content in the Output view */
|
||||
/* .theia-output {
|
||||
margin-left: -20px;
|
||||
} */
|
||||
|
||||
.theia-output .monaco-editor .margin {
|
||||
border-right: none;
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user