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             font-size: 110%;
   9           }
  10           pre { margin-right: 5em; margin-left: 2em; }
  11           img {
  12             margin-left: auto;
  13             margin-right: auto;
  14             display: block;
  15           }
  16   </style>
  17   <script type="text/javascript" src="sh_main.js"></script>
  18   <script type="text/javascript" src="sh_grafite.js"></script>
  19   <link type="text/css" rel="stylesheet" href="sh_gedit.css">
  20   <script type="text/javascript">
  21   function syntaxon(){
  22     var pres=document.getElementsByTagName("pre")
  23     for (i=0; i < pres.length; i++) {
  24       pres[i].className="sh_grafite";
  25     }
  26     sh_highlightDocument();
  27   }
  28   </script>
  29  </head>
  30  <body onload="syntaxon();">