DotRenderer node padding breaks with multi-line tables

[aborgna-q]

Nodes with key-value metadata entries seem to break the node padding when combined with the custom <font> element.

(from #2383)

It looks like we're adding <br>s to split the lines. Could we do proper table rows instead?

[cqc-alec]

@aborgna-q I tried to reproduce this but the PDF I generated looked OK:

g.pdf

I used this code, copied from the test in #2383 :

import hugr.ops as ops
import hugr.tys as tys
from hugr.build.dfg import Function

f = Function(
    "<jupyter-notebook>",
    [tys.Bool],
)
f.metadata["label"] = "<b>Bold Label</b>"
f.metadata["<other-label>"] = "<i>Italic Label</i>"

f.hugr[f.hugr.module_root].metadata["name"] = "<i>Module Root</i>"

b = f.inputs()[0]
f.add_op(ops.Some(tys.Bool), b)
f.set_outputs(b)

hugr = f.hugr

g = hugr.render_dot()
g.render("g")

Is it possible that it's been fixed?