1 <?xml version="1.0" encoding="UTF-8"?>
4 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
5 <style type="text/css">
7 font-family: monospace;
15 padding-bottom: 0.2em;
46 p { text-align: justify; }
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">
53 var pres=document.getElementsByTagName("pre")
54 for (i=0; i < pres.length; i++) {
55 pres[i].className="sh_grafite";
57 sh_highlightDocument();
61 <body onload="syntaxon();">