become smaller

• decrease, diminish, grow smaller