Update app.py

app.py

@@ -381,7 +381,7 @@ def make_figure(d: int,
                         x=[x1, x2],
                         y=[y1, y2],
                         mode="lines",
-                        line=dict(width=max(1, edge_w * 3), color=dim_color(b)),
+                        line=dict(width=max(1, edge_w * 2), color=dim_color(b)),
                         opacity=1.0,
                         hoverinfo="skip",
                         name=f"path bit {b}",
@@ -398,7 +398,7 @@ def make_figure(d: int,
                     x=[x1, x2],
                     y=[y1, y2],
                     mode="lines",
-                    line=dict(width=max(1, edge_w * 3), color="red"),
+                    line=dict(width=max(1, edge_w * 2), color="red"),
                     opacity=1.0,
                     hoverinfo="skip",
                     name="negated path",
@@ -430,7 +430,7 @@ def make_figure(d: int,
         if mark_distances and v in neighbor_set:
             sizes.append(base_size * 1.5)
         else:
-            sizes.append(base_size * (3 if v in in_path else 1))
+            sizes.append(base_size * (2 if v in in_path else 1))
 
         if path and (v == path[0] or v == path[-1]):
             colors.append("#111")          # endpoints