1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00
This commit is contained in:
Mauricio Bonani 2022-05-25 11:15:29 -04:00 committed by GitHub
parent 3ace7eeafd
commit 3f9ebb588e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -84,7 +84,7 @@
.red-ui-search-result-node-port {
position: absolute;
border-radius: 2px;
border: 1px solid $node-border;;
border: 1px solid $node-border;
width: 6px;
height: 7px;
top:4px;