Javadoc stylesheet from #881

This is a new Javadoc CSS from #881.
The CSS has replacements done by Stefan Birkner in #604 and #832.