Re: Mozilla navigation: New URL

> Perhaps the size of the pages could be made shorter by > dynamically writing the tags using javascript, but I don't > know if the navigation bar will pick up the dynamic > tags. I'll try that tomorrow. Well, yes, I had a similar idea. It would be the best to somehow detect if the user has this feature turned on, which is probably impossible... We can add prev/next/up/toc <link>s to all pages, they are not a big pain, yet they enhance the user eperience for Mozilla users. Please also keep in mind, that we would like to keep the manual pages cacheable, so printing out different pages for Mozilla and IE is not a good option. We can have an external JS file referenced, which then can have browser dependant content (generated on the fly by PHP or someting alike), but it is not a good idea to make any changes to the displayed page code in any situation, as all the manual pages are perfectly cacheable now, and we would not like to change this state (IMHO)... Goba