Right click: edit, just save in JPEG format (saving in GIF format will be smaller, but the image quality will be damaged), or right click: edit: image-stretch, and adjust the image size yourself.
These methods are absolutely not less than 30%, and they are the simplest!