Updating coraldoc.sty to print listings in tt font