A Javadoc doclet to build nicer and smaller API Javadoc HTML files.