From fe91421d54fed27279df3a22160e2b17fe4c0714 Mon Sep 17 00:00:00 2001
From: William Emfinger <waemfinger@gmail.com>
Date: Tue, 9 Jan 2018 20:49:26 -0600
Subject: [PATCH] closes #35 style local transitions differently from external
 transitions - they have hollow arrowheads.

---
 src/visualizers/widgets/HFSMViz/style2.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/visualizers/widgets/HFSMViz/style2.css b/src/visualizers/widgets/HFSMViz/style2.css
index c061aeb..f43a020 100644
--- a/src/visualizers/widgets/HFSMViz/style2.css
+++ b/src/visualizers/widgets/HFSMViz/style2.css
@@ -194,6 +194,10 @@ edge[Enabled = "False"] {
     line-style: dashed;
 }
 
+edge[type = "Local Transition"] {
+    target-arrow-fill: hollow;
+}
+
 .filtered {
     display: none;
 }
@@ -205,4 +209,4 @@ edge[Enabled = "False"] {
     target-arrow-color: blue;
     border-width: 2;
     font-weight: bold;
-}
\ No newline at end of file
+}