Möglichkeit, die gerenderte Größe des Graphen zu manipulieren?

[supermathie (Michael Brown)]

Es gibt einen Regler, um das Rasterisieren zu aktivieren/deaktivieren (svg=false); gibt es noch andere Optionen?

Insbesondere: Können wir die Größe des resultierenden Bildes nach dem Rendern eines Bildes steuern? Ich möchte es nicht unbedingt in voller Breite.

z.B.:

[graphviz svg=false]
digraph  {
  node [color=grey, shape=box, fontname="Helvetica", fontsize=13]
  edge [arrowsize = 0.75]
  bgcolor = seashell

  A [shape=septagon]
  B
  C
  D
  E

 A -> {B,C} -> E
 D -> E
}
[/graphviz]

muss nicht volle Breite haben, es könnte auch die “Standardgröße” haben:

(oben ist gerendertes PNG, unten ist SVG)