X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fpreamble.xml;h=018c0b44564953102c1f3c51836ddf4fe8c14539;hb=7fd4f2f66fb8fe010bbd2bfe1f6b542c2da6c83f;hp=66f62acbe54d826dd86e9d7caf3492069f49d8a2;hpb=21e0138ea9ff36fcc85e21081aa996d8eb063fb3;p=helm.git

diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index 66f62acbe..018c0b445 100644
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -7,11 +7,14 @@ pre, code {
 	font-family: monospace; 
 }
 
-p code {
+p code, li code {
 	font-size: 130%;
 	border-style: dashed;
 	border-width: 1px;
-	padding: 0.2em;
+	padding-top: 0.2em;
+	padding-bottom: 0.2em;
+	padding-left: 0.3em;
+	padding-right: 0.3em;
 	line-height: 1.8em;
 	border-color: grey;
 } 
@@ -22,7 +25,7 @@ pre {
 	margin-left: 2em; 
 }
 
-img { 
+img, .img { 
 	margin-left: auto; 
 	margin-right: auto; 
 	display: block;
@@ -36,8 +39,12 @@ date {
 }
 
 body {
-	margin-right: 1em;
+	margin-right: 3cm;
+	margin-left: 3cm;
 }
+
+
+p { text-align: justify; } 
   </style>
   <script type="text/javascript" src="sh_main.js"></script>
   <script type="text/javascript" src="sh_grafite.js"></script>