more work on color coding graph visualization
change highlighting to use stroke color/width instead of fill