APIDump: Extra pages use the local prettify and CSS.