A stylesheet to make the HTML files generated by javadoc6 or older javadocs look nicer.