Mea culpa, I didn’t hardcoded anything. You can just tune the background-repeating using the normal Customize screen of WordPress.
“Officially” you have to add css or modify the code to do such things 🙂
I thing I hardcoded the background cover (no one uses repeating backgrounds anymore). You’ll have to modifiy the css to make it work like you want.
