digraph graph_30
{
node_30
[
color = "red"
fontcolor = "green"
label = <<table><tr><td>html-style label</td></tr></table>>
]
}
digraph graph_30
{
node_30
[
color = "red"
fontcolor = "green"
label = <<table><tr><td>html-style label</td></tr></table>>
]
}