bugfix: Output width in chrome (#345)
This commit is contained in:
parent
3d9cb621dd
commit
a1adc2a85d
|
|
@ -223,6 +223,7 @@ div.entity h2 {
|
||||||
|
|
||||||
details {
|
details {
|
||||||
display: inline-block;
|
display: inline-block;
|
||||||
|
flex-grow: 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
details[open] {
|
details[open] {
|
||||||
|
|
@ -464,8 +465,18 @@ div.display {
|
||||||
font-size: small;
|
font-size: small;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#execution-dialog-output {
|
||||||
|
display: flex;
|
||||||
|
flex-direction: row;
|
||||||
|
justify-content: start;
|
||||||
|
}
|
||||||
|
|
||||||
#execution-dialog-xterm {
|
#execution-dialog-xterm {
|
||||||
overflow: scroll;
|
overflow: auto;
|
||||||
|
}
|
||||||
|
|
||||||
|
.xterm .xterm-viewport {
|
||||||
|
overflow-y: auto !important;
|
||||||
}
|
}
|
||||||
|
|
||||||
.padded-content {
|
.padded-content {
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue