From 8a0909738df73a4228ec1bae6b08c9e88e2aa40e Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Fri, 30 Jun 2023 19:27:57 -0700
Subject: [PATCH] stars

---
 benchmark/benchmark.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py
index c6e96ebac..954ebe43f 100755
--- a/benchmark/benchmark.py
+++ b/benchmark/benchmark.py
@@ -111,14 +111,16 @@ def show_stats(dirnames):
         for i, fmt in enumerate(formats):
             if zorder:
                 edge = dict(
-                    edgecolor="#444444",
+                    edgecolor="#eeeeee",
                     linewidth=0.25,
                 )
+            else:
+                edge = dict()
             if zorder == 2:
                 edge["label"] = fmt
 
             color = "#b3e6a8" if "diff" in fmt else "#b3d1e6"
-            hatch = "///" if "func" in fmt else ""
+            hatch = "**" if "func" in fmt else ""
             rects = ax.bar(
                 pos + i * width,
                 df[fmt],