Prevent clipping input text in Chrome (#14179)

diff --git a/web_src/less/_repository.less b/web_src/less/_repository.less
index f0e180019e186b5e8cffec7ad0ff23e985676966..b19eec58ebf08230e3a746c17d042a50f4a3a5db 100644 (file)
--- a/web_src/less/_repository.less
+++ b/web_src/less/_repository.less
@@ -195,6 +195,7 @@
       border-radius: 0;
       padding: 5px 10px;
       width: 50%;
+      line-height: 1.4;
     }
 
     .clone.button {
@@ -1641,6 +1642,7 @@
         border-radius: 0;
         padding: 5px 10px;
         font-size: 1.2em;
+        line-height: 1.4;
       }
     }
   }