From 79d60459ff1ba9efbcc4d196f345a3841630d903 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 22 Dec 2005 10:18:31 +0000
Subject: [PATCH] fix

---
 helm/matita/scripts/public_html/bench.php |  2 +-
 helm/matita/scripts/public_html/style.css | 16 ++++++++++++++--
 2 files changed, 15 insertions(+), 3 deletions(-)

diff --git a/helm/matita/scripts/public_html/bench.php b/helm/matita/scripts/public_html/bench.php
index 31596cc64..2f3fe5da4 100644
--- 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>
diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 36b505e75..093af1bb7 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -3,7 +3,19 @@ body {
   font-size: 12pt;
 }
 
-a {
-  border: solid blue;
+a, .button {
+  border: 2px outset gray;
   text-decoration: none;
+  background-color: silver;
+  color: black;
+  cursor:pointer;
+}
+
+li {
+  margin-bottom: 5pt;
+  
+}
+
+ul {
+  list-style-type: upper-roman;
 }
-- 
2.39.2