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();">