From a1f17aef9c2bb4f2a53af55730796d54bed2002b Mon Sep 17 00:00:00 2001
From: Fons van der Plas <fonsvdplas@gmail.com>
Date: Mon, 30 Oct 2023 11:43:42 +0100
Subject: [PATCH] css tweak

---
 frontend/binder.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontend/binder.css b/frontend/binder.css
index 3cb16e35a1..4d6f1c6646 100644
--- a/frontend/binder.css
+++ b/frontend/binder.css
@@ -143,6 +143,7 @@ body.wiggle_binder .edit_or_run > button {
     color-scheme: light;
     box-shadow: 0px 0px 0px 100vmax #0000004a;
     font-family: var(--sans-serif-font-stack);
+    border: 0;
 }
 .binder_help_text a {
     color: black;