diff options
| author | admin <devnull@localhost> | 2006-10-30 20:40:35 +0100 |
|---|---|---|
| committer | admin <devnull@localhost> | 2006-10-30 20:40:35 +0100 |
| commit | c0d5d5201075ff0babbab84e251373cd6b012e4e (patch) | |
| tree | 4239d51db8984158d645e07ec0a9b422047ff019 /user_guide/nav/nav.js | |
| parent | cef2106de1c7044072499aa5d4e529a01c3db8a4 (diff) | |
Diffstat (limited to 'user_guide/nav/nav.js')
| -rw-r--r-- | user_guide/nav/nav.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/user_guide/nav/nav.js b/user_guide/nav/nav.js index 253700e60..46272984e 100644 --- a/user_guide/nav/nav.js +++ b/user_guide/nav/nav.js @@ -6,7 +6,10 @@ function create_menu(basepath) '<table cellpadding="0" cellspaceing="0" border="0" style="width:98%"><tr>' + '<td class="td" valign="top">' + - '<p><a href="'+base+'index.html">User Guide Home</a></p>' + + '<ul>' + + '<li><a href="'+base+'index.html">User Guide Home</a></li>' + + '<li><a href="'+base+'toc.html">Table of Contents Page</a></li>' + + '</ul>' + '<h3>Basic Info</h3>' + '<ul>' + |