Bug #1222083: Allow keeping device-specific CSS files