CSS tweaks to fix border in Ubuntu (related to issue 6419)