Index: benchmarks/style.css |
diff --git a/benchmarks/style.css b/benchmarks/style.css |
old mode 100644 |
new mode 100755 |
index d976cdd3e7395120e04eaa24b798de62e6bc8fd3..46320c1ebe2e3bbba3d4548f54c732ed2adbed99 |
--- a/benchmarks/style.css |
+++ b/benchmarks/style.css |
@@ -1,11 +1,7 @@ |
-body { |
- font-family: sans-serif; |
-} |
- |
-hr{ |
+hr { |
border: 1px solid; |
border-color: #36C; |
- margin: 1em 0 |
+ margin: 1em 0; |
} |
h1, h2, h3, h4 { |
@@ -14,27 +10,17 @@ h1, h2, h3, h4 { |
} |
h1 { |
- font-size: 190%; |
- height: 1.2em; |
-} |
- |
- |
-h2{ |
- font-size: 140%; |
+ font-size: 154%; |
height: 1.2em; |
} |
-h3{ |
- font-size: 100%; |
-} |
-li{ |
+li { |
margin: .3em 0 1em 0; |
} |
-body{ |
+body { |
font-family: Helvetica,Arial,sans-serif; |
- font-size: small; |
color: #000; |
background-color: #fff; |
} |
@@ -54,7 +40,7 @@ div.subtitle { |
} |
td.contents { |
- text-align: start; |
+ text-align: left; |
} |
div.run { |
@@ -68,3 +54,15 @@ div.run { |
background-repeat: no-repeat; |
border: 1px solid rgb(51, 102, 204); |
} |
+ |
+#status { |
+ text-align: center; |
+ margin-top: 50px; |
+ font-size: 120%; |
+ font-weight: bold; |
+} |
+ |
+#results { |
+ text-align: left; |
+ margin: 30px 0 0 90px; |
+} |