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;
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">
47 var pres=document.getElementsByTagName("pre")
48 for (i=0; i < pres.length; i++) {
49 pres[i].className="sh_grafite";
51 sh_highlightDocument();
55 <body onload="syntaxon();">