fixed agda latex style (was interfering with normal fonts)