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