Original versions of berry.css and core.css, before removal of whitespace (the latter is done for performance reasons).