tests are now handled with a standard Makefile that does not use do_tests.sh

[helm.git] / helm / www / matita / style.css

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 8c4a95c4181f42555d16650cbb9ad046c7c056c7..64cc6d8b494b7f439b837f745f892101db7cb2ee 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -3,7 +3,12 @@ body {
   font-size: 12pt;
   background-image: url(images/sheetbg.png);
   background-repeat: repeat;
-  margin-left: 20px;
+  margin-left: 7%;
+  margin-right: 7%;
+}
+
+samp.tiny {
+  font-size: 8pt;
 }
 
 span.h1 {
@@ -20,14 +25,14 @@ span.h1 {
   border-color: #cb8080;
 
   margin-right: auto;
-  margin-left: 10%;
+/*   margin-left: 10%; */
 }
 
 p {
-  margin-left:10%;
+/*   margin-left:10%; */
 }
 ul {
-  margin-left:10%;
+/*   margin-left:10%; */
   list-style-type: none;
 }
 
@@ -47,7 +52,7 @@ a.upmenu {
   border-right-width: 0px;
   border-style: solid;
 
-  margin-left:20px;
+/*   margin-left:20px; */
   margin-right:20px;
 }
 
@@ -93,8 +98,6 @@ div.bottombar {
   width: auto;
   text-align:right;
   margin-top: 40px;
-  margin-right: 40px;
-
 }
 
 div.uplined {