Javadoc stylesheet from #881