1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Merge branch 'master' into dev

This commit is contained in:
Nick O'Leary 2020-06-01 09:36:20 +01:00
commit d45415ab22
No known key found for this signature in database
GPG Key ID: 4F2157149161A6C9

View File

@ -45,6 +45,9 @@
@include component-shadow; @include component-shadow;
border-color: $popover-background; border-color: $popover-background;
} }
.ace_content {
line-height: 1;
}
textarea.ace_text-input { textarea.ace_text-input {
overflow: hidden; overflow: hidden;
padding: 0px 1px !important; padding: 0px 1px !important;