Jenkins is going to shut down
Shut down reason: Winter
Shut down reason: Winter
Summary
- javadoc stylesheet.css: Refine list visual, i.e. top/bottom margin and (details)
- javadoc stylesheet.css: Refine list visual, i.e. font size 76 -> 80%, (details)
![]() | make/doc/javadoc/stylesheet.css (diff) |
![]() | make/doc/javadoc/stylesheet.css (diff) |