CSS changes to make Eclipse Juno 4.2 look better in Xubuntu