Bug 1053434 - CSS changes for DevEdition on Linux. r=Gijs