From f2e471e1d8c101084694affae9497f23d98e7058 Mon Sep 17 00:00:00 2001
From: Dominic Clifton <me@dominicclifton.name>
Date: Sun, 17 May 2015 23:23:39 +0100
Subject: [PATCH] Improve styling of manual port selection.

---
 main.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/main.css b/main.css
index 8b8d4cf9..76247e42 100755
--- a/main.css
+++ b/main.css
@@ -96,11 +96,12 @@ input[type="number"]::-webkit-inner-spin-button {
     width: 60px;
 }
 #port-picker #port-override{
-    height: 20px;
+    height: 18px;
     line-height: 20px;
     margin-right: 5px;
     width: 120px;
-    padding: 0;
+    padding: 0 5px;
+    border: 1px solid silver;
 }
 
 #port-picker a {