cambiare la dimensione del carattere cmd