css styling tweaks

This commit is contained in:
Johannes 2023-05-26 12:07:11 +02:00
parent e9f6796106
commit ace5565fd8
No known key found for this signature in database
GPG key ID: 6DEF802A22264FCA

View file

@ -90,7 +90,7 @@
/* status */
.monaco-editor .interactive-editor .status {
margin-top: 2px;
margin-top: 4px;
display: flex;
justify-content: space-between;
align-items: center;
@ -104,6 +104,8 @@
overflow: hidden;
color: var(--vscode-descriptionForeground);
font-size: 11px;
align-self: baseline;
display: flex;
}
.monaco-editor .interactive-editor .status .label.hidden {