From 6e24de448bf2e35907fb83acdae723368912bf0d Mon Sep 17 00:00:00 2001
From: Tobias Baunbaek <freeall@gmail.com>
Date: Fri, 2 Feb 2024 10:54:34 +0100
Subject: [PATCH] Hide arrows for input

---
 lib/devtools.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/devtools.js b/lib/devtools.js
index 49f9741..e28c5ae 100644
--- a/lib/devtools.js
+++ b/lib/devtools.js
@@ -30,6 +30,12 @@ customElements.define('developer-tooling', class extends HTMLElement {
           #change-port-show {
             display: none;
           }
+          /* hide up/down arrow for input type=number */
+          input::-webkit-outer-spin-button,
+          input::-webkit-inner-spin-button {
+            -webkit-appearance: none;
+            margin: 0;
+          }
 
           .hidden {
             display: none;