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

Merge pull request #4281 from kazuhitoyokoi/master-roundedcorners

Fix not rounded corners in project settings UI
This commit is contained in:
Nick O'Leary 2023-08-16 15:53:07 +01:00 committed by GitHub
commit cc5533c183
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -825,6 +825,7 @@ div.red-ui-projects-dialog-ssh-public-key {
margin-top: 0 !important; margin-top: 0 !important;
padding: 5px 10px; padding: 5px 10px;
margin-bottom: 10px; margin-bottom: 10px;
border-radius: 3px 3px 0px 0px;
} }
} }