Changing the font in the generated JavaDocs

[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 --add-stylesheet options.

$ /opt/jdk/11/bin/javadoc --help | grep style
     --add-stylesheet <file>
                   Additional stylesheet file for the generated 
documentation
     --main-stylesheet <file>, -stylesheetfile <file>
                   File to change style of the generated documentation

I'm not sure how detailed an answer you want with respect to 
OpenJDK-generated docs, but the high level answer is that it all happens 
in make/Docs.gmk.

The default stylesheet is in the source for the jdk.javadoc module:
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css

Here are the various lines related to the font-family:

     font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
     font-family:'DejaVu Sans Mono', monospace;
     font-family:'DejaVu Sans', Arial, Helvetica, sans-serif;
     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;

It's a minor code-style bug-ette that the first line has different 
whitespace. There should really only be 3 lines in that list, for serif, 
sans serif and monospace fonts.

-- Jon


On 7/16/19 6:21 PM, Nir Lisker wrote:
> 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