...

[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 65351001c04d58c937f1a8a933ed919d287f7623..3e76da66b33c4c803ee137f5590bd9e4040fc69c 100644 (file)
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -39,8 +39,11 @@ date {
 }
 
 body {
-       margin-right: 1em;
+       margin-right: 3em;
+       margin-left: 4em;
 }
+
+p { text-align: justify; } 
   </style>
   <script type="text/javascript" src="sh_main.js"></script>
   <script type="text/javascript" src="sh_grafite.js"></script>