EdgeView.uss 1.5 KB

123456789101112131415161718192021222324252627282930313233
  1. .edge {
  2. --selected-edge-color: #44C0FF;
  3. --ghost-edge-color: #555555;
  4. --edge-color: #929292;
  5. --edge-width: 2;
  6. --layer:-10;
  7. }
  8. .edge:hover {
  9. --edge-width: 4;
  10. }
  11. /* Workaround to dynamically change edge size as we can't do it in C# :( */
  12. .edge_1 { --edge-width: 1; } .edge_1:hover { --edge-width: 3; }
  13. .edge_2 { --edge-width: 2; } .edge_2:hover { --edge-width: 4; }
  14. .edge_3 { --edge-width: 3; } .edge_3:hover { --edge-width: 5; }
  15. .edge_4 { --edge-width: 4; } .edge_4:hover { --edge-width: 6; }
  16. .edge_5 { --edge-width: 5; } .edge_5:hover { --edge-width: 7; }
  17. .edge_6 { --edge-width: 6; } .edge_6:hover { --edge-width: 8; }
  18. .edge_7 { --edge-width: 7; } .edge_7:hover { --edge-width: 9; }
  19. .edge_8 { --edge-width: 8; } .edge_8:hover { --edge-width: 10; }
  20. .edge_9 { --edge-width: 9; } .edge_9:hover { --edge-width: 11; }
  21. .edge_10 { --edge-width: 10; } .edge_10:hover { --edge-width: 12; }
  22. .edge_11 { --edge-width: 11; } .edge_11:hover { --edge-width: 13; }
  23. .edge_12 { --edge-width: 12; } .edge_12:hover { --edge-width: 14; }
  24. .edge_13 { --edge-width: 13; } .edge_13:hover { --edge-width: 15; }
  25. .edge_14 { --edge-width: 14; } .edge_14:hover { --edge-width: 16; }
  26. .edge_15 { --edge-width: 15; } .edge_15:hover { --edge-width: 17; }
  27. .edge_16 { --edge-width: 16; } .edge_16:hover { --edge-width: 18; }
  28. .edge_17 { --edge-width: 17; } .edge_17:hover { --edge-width: 19; }
  29. .edge_18 { --edge-width: 18; } .edge_18:hover { --edge-width: 20; }
  30. .edge_19 { --edge-width: 19; } .edge_19:hover { --edge-width: 21; }
  31. .edge_20 { --edge-width: 20; } .edge_20:hover { --edge-width: 22; }