X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fpreamble.xml;h=3a1892cd44436b4830eeccfb27d27a29988ed349;hb=f1c4852a4359cf278ed00d73d608856ff46bafbb;hp=a85be4fc6bc6fea0f20827c7011c049950f80e61;hpb=488fb7a872e0cf99f58a97baf6ec2358625d1212;p=helm.git

diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index a85be4fc6..3a1892cd4 100644
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -12,9 +12,9 @@
 	    margin-left: auto; 
 	    margin-right: auto; 
 	    display: block;
-	    border-style: solid;
-	    border-width: 2px;
-	    border-color: grey;
+	  }
+	  body {
+		margin-right: 1em;
 	  }
   </style>
   <script type="text/javascript" src="sh_main.js"></script>