Se non hanno aggiunto formati nelle ultime versioni credo tu possa salvare solo in png.
Poi al limite puoi anche aprire la png in un altro programma e risalvartela in gif, jpg o quello che vuoi.

Per le dimensioni
quando apri la finstra di esportazione puoi scegliere in alto disegno o selezione e ti esporterà solo il tuo lavoro o solo quello che hai selezionato.
Nella parte dove ti dice dimensione bitmap segna le tue dimensioni in px e imposta la risoluzione 72 dpi (ovvero la risoluzione che il tuo banner dovrà avere)