+ <script type="text/javascript" src="sh_main.js"></script>
+ <script type="text/javascript" src="sh_grafite.js"></script>
+ <link type="text/css" rel="stylesheet" href="sh_gedit.css">
+ <script type="text/javascript">
+ function syntaxon(){
+ var pres=document.getElementsByTagName("pre")
+ for (i=0; i < pres.length; i++) {
+ pres[i].className="sh_grafite";
+ }
+ sh_highlightDocument();
+ }
+ </script>