modify anti-aliasing.html