I was trying to resize my logo for this site, and it was surprisingly hard to find a good solution. Since I am a developer I just quickly wrote the following script which I thought other people might like: