css: Improve padding of node title and ports

This commit is contained in:
Tom A. Wagner
2023-08-28 13:14:14 +02:00
parent 0cb40f5cab
commit 8aade39aeb
3 changed files with 8 additions and 4 deletions

View File

@@ -39,9 +39,12 @@ graphview {
background-color: @view_bg_color;
}
port {
padding-top: 3px;
padding-bottom: 3px;
node label.heading {
padding: 4px;
}
port label {
padding: 3px;
}
port-handle {