<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<style type="text/css">
pre, code {
- font-family: Sans;
- font-size: 1em;
- background-color:#fafaaf; }
+ font-family: monospace;
+ font-size: 110%;
+ }
pre { margin-right: 5em; margin-left: 2em; }
img {
margin-left: auto;
margin-right: auto;
display: block;
- border-style: solid;
- border-width: 2px;
- border-color: grey;
+ }
+ body {
+ margin-right: 1em;
}
</style>
+ <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>
</head>
- <body>
+ <body onload="syntaxon();">