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 p code, li code {
  11         font-size: 130%;
  12         border-style: dashed;
  13         border-width: 1px;
  14         padding-top: 0.2em;
  15         padding-bottom: 0.2em;
  16         padding-left: 0.3em;
  17         padding-right: 0.3em;
  18         line-height: 1.8em;
  19         border-color: grey;
  20 }
  21
  22 pre {
  23         font-size: 120%;
  24         margin-right: 5em;
  25         margin-left: 2em;
  26 }
  27
  28 img, .img {
  29         margin-left: auto;
  30         margin-right: auto;
  31         display: block;
  32 }
  33
  34 date {
  35         font-size:60%;
  36         text-align:right;
  37         width: 100%;
  38         display:block;
  39 }
  40
  41 body {
  42         margin-right: 3em;
  43         margin-left: 4em;
  44 }
  45
  46 p { text-align: justify; }
  47   </style>
  48   <script type="text/javascript" src="sh_main.js"></script>
  49   <script type="text/javascript" src="sh_grafite.js"></script>
  50   <link type="text/css" rel="stylesheet" href="sh_gedit.css">
  51   <script type="text/javascript">
  52   function syntaxon(){
  53     var pres=document.getElementsByTagName("pre")
  54     for (i=0; i < pres.length; i++) {
  55       pres[i].className="sh_grafite";
  56     }
  57     sh_highlightDocument();
  58   }
  59   </script>
  60  </head>
  61  <body onload="syntaxon();">