DN.ElementColoringStyle : DIA.Style
DN.VertexSizeStyle : DIA.Style
DN.EdgeThicknessStyle : DIA.Style
+DN.ArrowLengthStyle : DIA.Style
DN.HideStyle : DIA.Style
+DN.VertexSymbolStyle : DIA.Style
+DN.ConnectionLineStyle : DIA.Style
+
+// Style for user component-specified text grid entries
+DN.DistrictNetworkHoverInfoStyle : DIA.Style
+
+// Style for user component-specified static info text for network branches
+DN.DistrictNetworkStaticInfoStyle : DIA.Style
+
+// Function for dynamic selection of symbols for a vertex
+// The input of the function is a DN.Vertex
+// The output of the function should be SVG
+DN.HasSymbolFunction <R L0.HasProperty
+ <-- DIA.ProfileEntry
+ --> L0.Value
+ ==> "Resource -> <ReadGraph> Maybe String"