From cfa0a2f92958fc9738c724566d3ecf0def2c3b3e Mon Sep 17 00:00:00 2001
From: hensm <m+github@matt.tf>
Date: Tue, 21 Jul 2020 17:53:30 +0100
Subject: [PATCH] Tweak macOS number input style

---
 ext/src/ui/options/styles/mac.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ext/src/ui/options/styles/mac.css b/ext/src/ui/options/styles/mac.css
index ee97a1a..5900e93 100644
--- a/ext/src/ui/options/styles/mac.css
+++ b/ext/src/ui/options/styles/mac.css
@@ -30,3 +30,7 @@ input[type="radio"] {
     margin-top: 1px;
     width: 16px;
 }
+
+input[type="number"] {
+  padding-inline-end: 4px;
+}