doc: change size on download button