improve style of javadoc

The goal is to make the javadoc style more or less consistent with the default bootstrap style used in the DbSetup documentation.
Test it by running gradlew clean javadoc and opening the generated javadoc.