recovered site_info.txt
removed dvips option from amsart documentclass; this looks like a remnant option from some time in the past when latex was used instead of pdflatex. Its presence causes colors to render badly in a hard copy