From e7e13160d9cc25e260c7efce7c3a7f74aa354b5b Mon Sep 17 00:00:00 2001
From: Anthony Lieuallen <arantius@gmail.com>
Date: Mon, 21 Nov 2022 08:48:01 -0500
Subject: [PATCH] Less stroke shape jitter.

---
 colors.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/colors.html b/colors.html
index 5bc9f0f..e4459b0 100644
--- a/colors.html
+++ b/colors.html
@@ -60,7 +60,7 @@ svg {
     xmlns="http://www.w3.org/2000/svg"
     >
   <style>
-  polygon { stroke-width: 5px; }
+  polygon { stroke-width: 1px; }
   </style>
 </svg>
 
@@ -273,6 +273,7 @@ function activateColor(el) {
   // Force its stroke to be black.  (Doing this with CSS doesn't work; the
   // hover state is broken by mutating the DOM.)
   el.style.stroke = 'black';
+  el.style.strokeWidth = '5px';
 }
 
 // https://stackoverflow.com/a/5624139/91238