Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
30 lines (29 sloc) 956 Bytes
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<link rel="stylesheet" type="text/css" href="opalang.css" />
<script type="text/javascript">
//<![CDATA[
function subst() {
var vars={};
var x=document.location.search.substring(1).split('&');
for (var i in x) {var z=x[i].split('=',2);vars[z[0]] = unescape(z[1]);}
var x=['frompage','topage','page','webpage','section','subsection','subsubsection'];
for (var i in x) {
var y = document.getElementsByClassName(x[i]);
for (var j=0; j != y.length; ++j) y[j].textContent = vars[x[i]];
}
}
//]]>
</script>
</head><body style="border:0; margin: 0;" onload="subst()">
<table class="print_header">
<tr>
<td class="section"></td>
<td class="right">
<span class="subsection"></span>
</td>
</tr>
</table>
</body></html>
Jump to Line
Something went wrong with that request. Please try again.