diff options
| -rw-r--r-- | rpkid/rpki/__init__.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpkid/rpki/__init__.py b/rpkid/rpki/__init__.py index 36bb2fd1..1ac55ca3 100644 --- a/rpkid/rpki/__init__.py +++ b/rpkid/rpki/__init__.py @@ -1814,6 +1814,7 @@ # digraph bpki_rpkid { # splines = true; # size = "14,14"; +# node [ fontname = Times, fontsize = 9 ]; # # // Hosting entity # node [ color = black, shape = record ]; @@ -1927,6 +1928,7 @@ # digraph bpki_pubd { # splines = true; # size = "14,14"; +# node [ fontname = Times, fontsize = 9 ]; # # // Operating entity # node [ color = black, fontcolor = black, shape = record ]; |