css: Add more padding to node and port names, remove column spacing in ports grid

This commit is contained in:
Tom A. Wagner 2023-09-18 17:55:23 +02:00
parent 89f417f260
commit 1db39fb71f
3 changed files with 3 additions and 5 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 90 KiB

After

Width:  |  Height:  |  Size: 101 KiB

View file

@ -42,11 +42,11 @@ node {
}
node label.heading {
padding: 4px;
padding: 4px 7px;
}
port label {
padding: 3px;
padding: 4px 6px;
}
port-handle {

View file

@ -26,9 +26,7 @@
</object>
</child>
<child>
<object class="GtkGrid" id="port_grid">
<property name="column-spacing">10</property>
</object>
<object class="GtkGrid" id="port_grid"></object>
</child>
</object>
</child>