protected void printNavigationBarHeader() {
        printTableHeader(true);
        fontSizeStyle("+1", "FrameTitleFont");
        if (configuration.packagesheader.length() > 0) {
            bold(replaceDocRootDir(configuration.packagesheader));
        } else {
            bold(replaceDocRootDir(configuration.header));
        }
        fontEnd();
        printTableFooter(true);
    }