Changing the font in the generated JavaDocs

[Nir Lisker]

Hi,

I noticed that the font of the JDK docs is different than the ones we get
at OpenJFX. Compare
https://docs.oracle.com/en/java/javase/12/docs/api/index.html with
https://openjfx.io/javadoc/12/.

I did not find a way to change the font except for messing with the
generated stylesheet (and there are a lot of definitions there). Is there
some flag I need to specify, or should I take the stylesheet file from
OpenJDK somewhere and replace ours? How do does OpenJDK generate its docs?

Thanks,
Nir
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/javadoc-dev/attachments/20190717/0ccd968e/attachment.html>