changed agda.sty (font for AgdaBound)