Skip to content

Dot layout error

In DOT diagram, nodes with long names are not correctly justified. Furthermore, one could save some space by reducing the borders above and below the node names.