anyone got a script to change google search text size back to normal ? there's one written for grease monkey: http://userscripts.org/scripts/show/57449 but need similar for Explorer