diff options
Diffstat (limited to 'doc/Config')
-rw-r--r-- | doc/Config | 14 |
1 files changed, 6 insertions, 8 deletions
@@ -38,14 +38,12 @@ $EXTRA_HEAD="\ $AFTER_BODY_OPEN="\ <!--#include virtual=\"${top_html_dir}/inc/header.html\" -->\ -<table class='tabs'>\ - <tr>\ - <td><a href=\"$top_html_dir/pies.html\">Main</a></td>\ - <td><a href=\"$top_html_dir/example.html\">Examples</a></td>\ - <td><a href=\"$top_html_dir/download.html\">Downloads</a></td>\ - <td><a class=\"active\" href=\"$top_html_dir/manual.html\">Documentation</a></td>\ - </tr> -</table>"; +<ul class=\"tabs\">\ + <li><a href=\"pies.html\">Main</a></li>\ + <li><a href=\"example.html\">Examples</a></li>\ + <li><a href=\"download.html\">Downloads</a></li>\ + <li><a class=\"active\" href=\"manual.html\">Documentation</a></li>\ +</ul>"; $PRE_BODY_CLOSE="Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved."; |