]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/nlibrary/topology/preamble.xml
8044ff2fab1a07648f54a57df9042f9dc1d07380
[helm.git] / helm / software / matita / nlibrary / topology / preamble.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <html>
3  <head>
4   <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
5   <style type="text/css">
6           pre, code { 
7                 font-family: monospace; 
8           }
9
10           code {
11                 font-size: 130%; 
12           } 
13
14           pre { 
15                 font-size: 100%; 
16                 margin-right: 5em; 
17                 margin-left: 2em; 
18           }
19
20           img { 
21                 margin-left: auto; 
22                 margin-right: auto; 
23                 display: block;
24           }
25
26           body {
27                 margin-right: 1em;
28           }
29   </style>
30   <script type="text/javascript" src="sh_main.js"></script>
31   <script type="text/javascript" src="sh_grafite.js"></script>
32   <link type="text/css" rel="stylesheet" href="sh_gedit.css">
33   <script type="text/javascript">
34   function syntaxon(){
35     var pres=document.getElementsByTagName("pre")
36     for (i=0; i < pres.length; i++) {
37       pres[i].className="sh_grafite";
38     }
39     sh_highlightDocument();
40   }
41   </script>
42  </head>
43  <body onload="syntaxon();">