diff --git a/refdoc/structure/modref.html b/refdoc/structure/modref.html
index a476ddf047864bc078f98a291533446625030925..c04f07cdd0e9bb03352682097d5222e8c1ab41b2 100644
--- a/refdoc/structure/modref.html
+++ b/refdoc/structure/modref.html
@@ -1,63 +1,102 @@
-<html><head><title>Pike Reference Manual - $title$</title>
-<link rel='stylesheet' href='$style$' /></head>
-<body topmargin='0' leftmargin='0' marginheight='0' marginwidth='0'
- bgcolor='#ffffff' text='#000000' link='#000099' alink='#002040'
- vlink='#000099'>
-
-<table width="100%">
- <tr>
- <td colspan='3'></td>
- <td colspan='2' align='right'>Extracted from $version$ at $date$.</td>
- </tr>
- <tr>
- <td width="0%"><img src="$imagedir$unit.gif" alt="" width="10" height="1"></td>
- <td width="1%">
- <a href="http://pike.lysator.liu.se/"><img src="$imagedir$pike_logo.gif"
- border="0" alt="pike.lysator.liu.se" width="181" height="41" hspace="5"></a></td>
- <td width="0%"><img src="$imagedir$unit.gif" alt="" width="10" height="1"></td>
- <td width="99%">
- <table align="center" border="0" width="100%" cellspacing="0" cellpadding="0" valign="middle">
- <tr>
- <td width="1%" align="right"><img src="$imagedir$pike_line_left.gif" alt="" border="0" width="5" height="11"></td>
- <td background="$imagedir$pike_line_middle.gif" width="98%"><img src="$dotdot$/$imagedir$unit.gif" alt="" border="0" width="11" height="11"></td>
- <td width="1%" align="left"><img src="$imagedir$pike_line_right.gif" alt="" border="0" width="5" height="11"></td>
- </tr>
+<html>
+ <head>
+ <title>Pike Reference Manual - $title$</title>
+ <link rel='stylesheet' href='$style$' />
+ </head>
+ <body topmargin='0' leftmargin='0' marginheight='0' marginwidth='0'
+ bgcolor='#ffffff' text='#000000' link='#000099' alink='#002040'
+ vlink='#000099'>
+ <header>
+ <table width="100%">
+ <tr>
+ <td colspan='3'></td>
+ <td colspan='2' align='right'>Extracted from $version$ as of $date$.</td>
+ </tr>
+ <tr>
+ <td width="0%">
+ <img src="$imagedir$unit.gif" alt="" width="10" height="1">
+ </td>
+ <td width="1%">
+ <a href="http://pike.lysator.liu.se/"
+ ><img src="$imagedir$pike_logo.gif" border="0"
+ alt="pike.lysator.liu.se" width="181" height="41"
+ hspace="5"
+ ></a>
+ </td>
+ <td width="0%">
+ <img src="$imagedir$unit.gif" alt="" width="10" height="1">
+ </td>
+ <td width="99%">
+ <table align="center" border="0" width="100%"
+ cellspacing="0" cellpadding="0" valign="middle">
+ <tr>
+ <td width="1%" align="right">
+ <img src="$imagedir$pike_line_left.gif"
+ alt="" border="0" width="5" height="11">
+ </td>
+ <td background="$imagedir$pike_line_middle.gif"
+ width="98%">
+ <img src="$dotdot$/$imagedir$unit.gif" alt=""
+ border="0" width="11" height="11">
+ </td>
+ <td width="1%"
+ align="left">
+ <img src="$imagedir$pike_line_right.gif"
+ alt="" border="0" width="5" height="11">
+ </td>
+ </tr>
+ </table>
+ </td>
+ <td width="0%">
+ <img src="$imagedir$unit.gif" alt="" width="10" height="1">
+ </td>
+ </tr>
+ <tr>
+ <td colspan="5">
+ <img src="$imagedir$unit.gif" alt="" width="1" height="10">
+ </td>
+ </tr>
</table>
- </td>
- <td width="0%"><img src="$imagedir$unit.gif" alt="" width="10" height="1"></td>
- </tr>
- <tr>
- <td colspan="5"><img src="$imagedir$unit.gif" alt="" width="1" height="10"></td>
- </tr>
-</table>
-
-<table>
- <tr>
- <td width='180' valign='top' bgcolor='#f0f0f0'>$navbar$</td>
- <td width='520' valign='top'>
+ </header>
- <table border="0" width="520" bgcolor="#e0e0e0"
- cellpadding="0" cellspacing="4" class='sidebar'>
+ <table>
<tr>
- <td valign="middle">
- <a href="$prev_url$"><img src="$imagedir$prev.gif" hspace="3"
- border="0" alt="previous" >$prev_title$</a>
- <br />
+ <td width='180' valign='top' bgcolor='#f0f0f0'>
+ <nav>$navbar$</nav>
</td>
- <td align="right" valign="middle">
- <a href="$next_url$">$next_title$<img src="$imagedir$next.gif" hspace="3"
- border="0" alt="next" ></a>
- <br />
+ <td width='520' valign='top'>
+
+ <nav>
+ <table border="0" width="520" bgcolor="#e0e0e0"
+ cellpadding="0" cellspacing="4" class='sidebar'>
+ <tr>
+ <td valign="middle">
+ <a href="$prev_url$"
+ ><img src="$imagedir$prev.gif" hspace="3"
+ border="0" alt="previous"
+ >$prev_title$</a>
+ <br />
+ </td>
+ <td align="right" valign="middle">
+ <a href="$next_url$"
+ >$next_title$<img src="$imagedir$next.gif" hspace="3"
+ border="0" alt="next"
+ ></a>
+ <br />
+ </td>
+ </tr>
+ </table>
+ </nav>
+
+ <article>
+ <h1>$type$ $title$</h1>
+ $contents$
+ </article>
+ <footer>
+ <hr size='1' noshade='1' />
+ </footer>
</td>
</tr>
</table>
-
- <h1>$type$ $title$</h1>
- $contents$
-
- <hr size='1' noshade='1' />
- </td>
- </tr>
-</table>
-</body>
+ </body>
</html>