X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fpreamble.xml;h=3e76da66b33c4c803ee137f5590bd9e4040fc69c;hb=e008452eb6b63f53b4eafc13853f7521d411dd00;hp=8044ff2fab1a07648f54a57df9042f9dc1d07380;hpb=50ab627986cbf241262e5969a757b1c6c95166f4;p=helm.git

diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index 8044ff2fa..3e76da66b 100644
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -3,29 +3,47 @@
  <head>
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
   <style type="text/css">
-	  pre, code { 
-		font-family: monospace; 
-	  }
+pre, code { 
+	font-family: monospace; 
+}
 
-	  code {
-	  	font-size: 130%; 
-	  } 
+p code, li code {
+	font-size: 130%;
+	border-style: dashed;
+	border-width: 1px;
+	padding-top: 0.2em;
+	padding-bottom: 0.2em;
+	padding-left: 0.3em;
+	padding-right: 0.3em;
+	line-height: 1.8em;
+	border-color: grey;
+} 
 
-	  pre { 
-	  	font-size: 100%; 
-	  	margin-right: 5em; 
-		margin-left: 2em; 
-	  }
+pre { 
+	font-size: 120%; 
+	margin-right: 5em; 
+	margin-left: 2em; 
+}
 
-	  img { 
-	  	margin-left: auto; 
-	  	margin-right: auto; 
-		display: block;
-	  }
+img { 
+	margin-left: auto; 
+	margin-right: auto; 
+	display: block;
+}
 
-	  body {
-		margin-right: 1em;
-	  }
+date {
+	font-size:60%;
+	text-align:right;
+	width: 100%;
+	display:block;
+}
+
+body {
+	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>
