Hiya! I have just notice this sorry.
I would suggest that she needs to print her itinerary. I always bring itinerary receipt, my husbands copy of identification as well as a copy of his card (specially when ticket was booked online) in case airline staffs will look for it.
Also, just a little reminder she needs to pay for the tax before she will queue up. Online booking doesnt include the tax we pay before we exit the country.