For menus, buttons, and instructions. Your learning content stays in English.
/ʃeɪv daʊn/
to reduce or trim something
“He decided to shave down the wooden plank.”