I've been having the following problem with re-formatting the default
page output: when I redefine _optnavigationbar_ in my extra.dm file
nothing happens. If I look at the HTML source I see that the default
definition is being used. I've used this method to also redefine the
headers and that all worked perfectly. Is there something I'm missing?
Thanks for any ideas.