2794 	  this.CONNECTION_STYLE = styles.style([ 'no-fill' ], { strokeWidth: 5, stroke: 'fuchsia' });  property
2795 	  this.SHAPE_STYLE = styles.style({ fill: 'white', stroke: 'fuchsia', strokeWidth: 2 });  property
2796 …AME_STYLE = styles.style([ 'no-fill' ], { stroke: 'fuchsia', strokeDasharray: 4, strokeWidth: 2 });  property
16747 	      strokeWidth: 1,  property
16862 	          strokeWidth: 1.5  property
16878 	          strokeWidth: 1.5  property
16926 	      strokeWidth: 2,  property
16961 	      strokeWidth: 2,  property
16994 	      strokeWidth: 2,  property
17012 	      strokeWidth: 2,  property
17026 	      strokeWidth: 2,  property
17237 	        strokeWidth: 1,  property
17246 	        strokeWidth: 2,  property
17263 	        strokeWidth: 2,  property
17285 	          strokeWidth: 1,  property
17309 	        strokeWidth: 1,  property
17327 	        strokeWidth: 1,  property
17346 	        strokeWidth: 1,  property
17366 	        strokeWidth: 1,  property
17386 	        strokeWidth: 1,  property
17410 	        strokeWidth: 1,  property
17430 	        strokeWidth: 1,  property
17450 	        strokeWidth: 1,  property
17467 	        strokeWidth: 1,  property
17474 	        strokeWidth: 4,  property
17485 	        strokeWidth: 4,  property
17494 	        strokeWidth: 1,  property
17501 	        strokeWidth: 1,  property
17548 	        strokeWidth: 1,  property
17561 	        strokeWidth: 0,  property
17573 	        strokeWidth: 1,  property
17594 	        strokeWidth: 0.5,  property
17607 	        strokeWidth: 0.5,  property
17620 	        strokeWidth: 0.5,  property
17638 	        strokeWidth: 0.5, // 0.25,  property
17660 	        strokeWidth: 1,  property
17674 	        drawCircle(parentGfx, 28, 28, 20 * 0.22, { strokeWidth: 1 });  property
17697 	        strokeWidth: 1,  property
17715 	        strokeWidth: 1,  property
17733 	        strokeWidth: 1,  property
17747 	        strokeWidth: 1,  property
17860 	        strokeWidth: 2.5,  property
17883 	          strokeWidth: 1,  property
17906 	        strokeWidth: 1,  property
17928 	        strokeWidth: 1,  property
17942 	        strokeWidth: 1,  property
17964 	          strokeWidth: 2,  property
17987 	          strokeWidth: 1,  property
17995 	            strokeWidth: 1,  property
18112 	        strokeWidth: '1.5px',  property
18128 	        var messageAttrs = { strokeWidth: 1 };  property
18195 	      /* input arrow path */ drawPath(parentGfx, arrowPathData, { strokeWidth: 1 });  property
18206 	        strokeWidth: 1,  property
18225 	        strokeWidth: 2,  property
18239 	        strokeWidth: 1,  property
18271 	        strokeWidth: 1,  property
18330 	        strokeWidth: 2,  property
18337 	        strokeWidth: 1,  property
18409 	        strokeWidth: 1,  property
18427 	        strokeWidth: 1,  property
18447 	        strokeWidth: 1,  property
18525 	      strokeWidth: 2  property
20370 	      strokeWidth: 15  property
30407 	    'strokeWidth': 2,  property
39557 	        strokeWidth: 2,  property