hard-code image heights in javadocs to make page loading cleaner, especially with links to anchors deep in the javadoc