reduce size of progress element a bit, re #77

css/vips.css

@@ -24,7 +24,7 @@ table.default .button {
 }
 
 table.default progress {
-    height: 20px;
+    height: 18px;
     width: 120px;
 }