...

[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 3a1892cd44436b4830eeccfb27d27a29988ed349..65351001c04d58c937f1a8a933ed919d287f7623 100644 (file)
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -3,19 +3,44 @@
   <head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
    <style type="text/css">
-         pre, code { 
-           font-family: monospace; 
-           font-size: 110%; 
-         } 
-         pre { margin-right: 5em; margin-left: 2em; }
-         img { 
-           margin-left: auto; 
-           margin-right: auto; 
-           display: block;
-         }
-         body {
-               margin-right: 1em;
-         }
+pre, code { 
+       font-family: monospace; 
+}
+
+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: 120%; 
+       margin-right: 5em; 
+       margin-left: 2em; 
+}
+
+img { 
+       margin-left: auto; 
+       margin-right: auto; 
+       display: block;
+}
+
+date {
+       font-size:60%;
+       text-align:right;
+       width: 100%;
+       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>