--- a/src/widgets/Controller.css	Fri Feb 13 16:48:05 2015 +0100
+++ b/src/widgets/Controller.css	Fri Feb 13 16:57:53 2015 +0100
@@ -86,7 +86,7 @@
 }
 
 input.Ldt-Ctrl-SearchInput {
-    width: 145px; height: 13px; margin: 2px; padding: 3px;
+    width: 145px; height: 20px; margin: 2px; padding: 3px;
     border: 1px solid #8080a0; border-radius: 3px; font-size: 13px;
 }