got javadoc DOT images in; updated font names to avoid warnings