The theme editor for projects was briefly broken, for the past hour or two as of this writing. Should be fixed now, could you please try again?
Yes, that was it, thank you, I appreciate it!