Some browsers now like @font-face better than @import, it seems.
Updating Agda.ttf (same as msc thesis)