Improve styling of manual port selection.

9 years ago · f2e471e1d8
parent d18e5a9559
commit f2e471e1d8
1 changed files with 3 additions and 2 deletions
--- 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 {