Comment 9 for bug 1044259

castet02: Thanks for your suggestion. However, the master source files for the serverguide are docbook .xml files. Those get compiled into html and pdf. It is the compile routines that were changed for the "new" theme, and are what we would be wanting to look at to try to restore the "old" theme TOC stuff.