[Jenkins]Jenkins
Jenkins is going to shut down
Shut down reason: Winter

Changes

Summary

  1. javadoc stylesheet.css: Refine list visual, i.e. top/bottom margin and (details)
  2. javadoc stylesheet.css: Refine list visual, i.e. font size 76 -> 80%, (details)
Commit daf14669243b195c94352089574a4e03d641c1cf by Sven Gothel
javadoc stylesheet.css: Refine list visual, i.e. top/bottom margin and less indentation.
The file was modifiedmake/doc/javadoc/stylesheet.css (diff)
Commit abb11fd8123637b2dcad93a56cc02cd8fc928a5c by Sven Gothel
javadoc stylesheet.css: Refine list visual, i.e. font size 76 -> 80%, line-height 1.2 (default) -> 1.4
The file was modifiedmake/doc/javadoc/stylesheet.css (diff)