The web player is fuzzy/anti-aliased in a recent release. Probably aware, but I didn't see an open bug about it.