Fireman,
My husband was recently asked to submit an original marriage certificate and a copy of his civil document (birth certificate).
Luckily when he went to the JCE office to get our marriage certificate and his birth certificate for our application he requested two of each. He also had the foresight to have both of them translated.
So when he sent the requested documents I told him to send the translations as well. His letter didn't specify that translations needed to be sent....but when filling out the application it does say those documents need to be translated....so just in case we sent the translations.
My husband's birth cert. is the Extracto de Acta -short version.
It shouldn't be any problem for your wife to get the required documents
Hope that helps