Community
Participate
Working Groups
Instead of hard-coding fonts using <font> one should use CSS. Olivier, could you take a look given you already know how to fix this?
Ping.
I'll do it for RC1.
Released for RC1.
Verified in I20110512-2000 The changes made for this fix are https://www.ohloh.net/p/eclipse-pde/commits/129331921