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
