Thanks for the font tweaking tip. It really improved the look of my Ubuntu Jaunty – in combination with a font size of 9 (from the default of 10), the fonts look beautiful now.