Improved aliasing for the resized html+pdf icons