NavigatorElementStyle

type NavigatorElementStyle = dia.attributes.SVGRectAttributes;

Style map returned by a NavigatorElementStyleCallback to theme an element in the mini-map. Applied as inline CSS on the element's rendered node, except d, which is set as the path geometry attribute.