El problema es que al duplicar el tamaño, lo que antes valía un pixel, ahora valdrá cuatro. En fin, si te fijas creo que el mini de Red allí tambien tiene ese problema.
Al "redibujarlos" quedan con más definicion; pero dudo que exista algun programa que haga algo asi por ti, ya que no sabría...