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;
35 <script type="text/javascript" src="sh_main.js"></script>
36 <script type="text/javascript" src="sh_grafite.js"></script>
37 <link type="text/css" rel="stylesheet" href="sh_gedit.css">
38 <script type="text/javascript">
40 var pres=document.getElementsByTagName("pre")
41 for (i=0; i < pres.length; i++) {
42 pres[i].className="sh_grafite";
44 sh_highlightDocument();
48 <body onload="syntaxon();">