[ROOT] / doc / toc / ARCDoc / Class / UtilDoc / GlobalHeaderHTML
Global header to be inserted at the top of every HTML page created by GenerateHTMLPage.
Generated 2025-07-09 16:12:25.124 UTC