...

[helm.git] / helm / software / matita / nlibrary / topology / preamble.xml

diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index 3864f2e19ef404f2e452ec9665286328194e35c4..3a1892cd44436b4830eeccfb27d27a29988ed349 100644 (file)
--- 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>