Click "Optimize" to strip whitespace from your GeoJSON, and reduce the number of decimals in coordinates.