Changing pre styling in default.css to be global.