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

diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index 3864f2e19..3a1892cd4 100644
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -13,6 +13,9 @@
 	    margin-right: auto; 
 	    display: block;
 	  }
+	  body {
+		margin-right: 1em;
+	  }
   </style>
   <script type="text/javascript" src="sh_main.js"></script>
   <script type="text/javascript" src="sh_grafite.js"></script>