Re: Changing the font in the generated JavaDocs

2019-07-21 Thread Jonathan Gibbons
Nir, By default, javadoc references the DejaVu fonts, which are available by defaut on various OSes.  Oracle JDK includes a copy of the fonts in the documentation that it generates and publishes. For more information on DejaVu fonts, see references on the web, such as the wikipedia page: htt

Re: Changing the font in the generated JavaDocs

2019-07-20 Thread Nir Lisker
Hi Jon, Thanks for the answer. Iv'e narrowed down the issue to the DejaVu font not being loaded, so it falls back to Georgia. Inside the 'resources' directory where the docs are generated there should be a 'fonts' directory with a 'dejavu.css' file. This exists in OpenJDK, but not in OpenJFX. I tr

Re: Changing the font in the generated JavaDocs

2019-07-19 Thread Jonathan Gibbons
Nir, The only way to change the font is through the stylesheet(s). If you don't want to edit the default stylesheet, you can specify additional stylesheets to be used on the command line. You can also replace the default stylesheet from the command line. Look for the --main-stylesheet and --a