Use Javadoc's default stylesheet for docs