[wmf]

I'm more concerned about UI widgets where user stylesheets and zooming tend to not exist (and zooming would produce blurriness if it was used).