...

[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 a85be4fc6bc6fea0f20827c7011c049950f80e61..3a1892cd44436b4830eeccfb27d27a29988ed349 100644 (file)
--- 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>