Details
-
Type:
Bug
-
Status: Open
-
Priority:
P5
-
Resolution: Unresolved
-
Affects Version/s: None
-
Fix Version/s: tbd_minor
-
Component/s: infrastructure
-
Labels:
-
Subcomponent:
Description
The fact that the JDK API docs use DejaVu fonts has percolated to many different places.
1. stylesheet.css
2. dejavu.css (the name)
3. inline styles used in some `module-info.java` files, e.g.
<dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Optional for the Java SE Platform:</dt>
4. hardcoded in com.sun.tools.jdeps.ModuleDotGraph.DotGraphAttributes#FONT_NAME, build.tools.jigsaw.GenGraphs.ModuleGraphAttributes#DEFAULT_ATTRIBUTES, build.tools.jigsaw.ModuleSummary.HtmlDocument#STYLES, etc.
5. hardcoded in the build scripts, e.g. make/Docs.gmk
1. stylesheet.css
2. dejavu.css (the name)
3. inline styles used in some `module-info.java` files, e.g.
<dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Optional for the Java SE Platform:</dt>
4. hardcoded in com.sun.tools.jdeps.ModuleDotGraph.DotGraphAttributes#FONT_NAME, build.tools.jigsaw.GenGraphs.ModuleGraphAttributes#DEFAULT_ATTRIBUTES, build.tools.jigsaw.ModuleSummary.HtmlDocument#STYLES, etc.
5. hardcoded in the build scripts, e.g. make/Docs.gmk