The JDWP Protocol spec and JVMTI spec are outliers in the specs directory for not using the standard stylesheet and recent new header providing a navigation bar.

Without changing the way the basic content is generated, this can be fixed by post-processing in Docs.gmk. Both files are already processed there.