You're correct. The documentation system we use is NaturalDocs, and I had to modify the source to get it to spit out decent HTML (plus HTML that matched the the

You're correct. The documentation system we use is NaturalDocs, and I had to modify the source to get it to spit out decent HTML (plus HTML that matched the theme). I haven't updated it to use the new look, but the documentation there is accurate.