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

Merge pull request #3537 from bonanitech/jquery-borders

Add custom style for jQuery widgets borders
This commit is contained in:
Nick O'Leary 2022-04-20 09:29:52 +01:00 committed by GitHub
commit ea0abb70a2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,6 +26,13 @@
box-shadow: none;
}
.ui-widget.ui-widget-content {
border: 1px solid $tertiary-border-color;
}
.ui-widget-content {
border: 1px solid $secondary-border-color;
}
.ui-widget-header {
color: $header-text-color;
}