...

[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 ffb7483ec3b73ea14a78ec9c535686c241dbbc77..3a1892cd44436b4830eeccfb27d27a29988ed349 100644 (file)
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -4,23 +4,30 @@
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
    <style type="text/css">
           pre, code { 
-           font-family: Sans; 
-           font-size: 1em; 
-           background-color:#efee79; } 
-         pre { margin-right: 5em;}
-         img { display: block; margin-bottom: 1em; }
-         .img { 
+           font-family: monospace; 
+           font-size: 110%; 
+         } 
+         pre { margin-right: 5em; margin-left: 2em; }
+         img { 
             margin-left: auto; 
             margin-right: auto; 
             display: block;
-           border-style: solid;
-           border-width: 2px;
-           border-color: grey;
-           background: grey;
-           text-align:center;
-           color: white;
-           width: 200px;
+         }
+         body {
+               margin-right: 1em;
           }
    </style>
+  <script type="text/javascript" src="sh_main.js"></script>
+  <script type="text/javascript" src="sh_grafite.js"></script>
+  <link type="text/css" rel="stylesheet" href="sh_gedit.css">
+  <script type="text/javascript">
+  function syntaxon(){
+    var pres=document.getElementsByTagName("pre")
+    for (i=0; i < pres.length; i++) {
+      pres[i].className="sh_grafite";
+    }
+    sh_highlightDocument();
+  }
+  </script>
   </head>
- <body>
+ <body onload="syntaxon();">