X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fpreamble.xml;h=bbba386e1034260d79ac403e174b9db59069ba3f;hb=4286d368b6d902a4b54c4cf8590c387f2cdb90ea;hp=ffb7483ec3b73ea14a78ec9c535686c241dbbc77;hpb=bee436af0c6ceb1c83259c94036df8b12f901f2d;p=helm.git

diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index ffb7483ec..bbba386e1 100644
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -6,20 +6,15 @@
 	  pre, code { 
 	    font-family: Sans; 
 	    font-size: 1em; 
-	    background-color:#efee79; } 
-	  pre { margin-right: 5em;}
-	  img { display: block; margin-bottom: 1em; }
-	  .img { 
+	    background-color:#fafaaf; } 
+	  pre { margin-right: 5em; margin-left: 2em; }
+	  img { 
 	    margin-left: auto; 
 	    margin-right: auto; 
 	    display: block;
 	    border-style: solid;
 	    border-width: 2px;
 	    border-color: grey;
-	    background: grey;
-	    text-align:center;
-	    color: white;
-	    width: 200px;
 	  }
   </style>
  </head>