fix

[helm.git] / helm / matita / scripts / public_html / bench.php

diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index 31596cc64e7a4c6fc696097a384b65a704d80034..2f3fe5da450771e1b6b23950aa6c5b95b562c458 100644 (file)
--- a/helm/matita/scripts/public_html/bench.php
+++ b/helm/matita/scripts/public_html/bench.php
@@ -139,7 +139,7 @@ function links_of($name,$q,$limits){
     </td>
   </tr>
   <tr>
-    <td><input type="submit" value="Submit"/></td>
+    <td><input type="submit" value="Submit" class="button" /></td>
   </tr>
  </table>
 </form>