Unexpected font size change in Javahelp with Java 1.5

Using Javahelp (the Javahelp User Guide rendered in the Javahelp demo help viewer) with Java 1.4.2 the side panel and the main rendering panel have the same (or very similar font sizes).

When using Java 1.5 the main rendering area font size is approx 2 pixels larger than the side panel's font size.

I attached two screenshots about this.

This problem appears in the Sun Java Desktop System's online help that is built using Javahelp. This is the main reason why this bug is logged.

Note that this is unrelated to the look&feel, I see the problem with both the gtk look&feel and the metal look&feel.
###@###.### 2004-05-05