For menus, buttons, and instructions. Your learning content stays in English.
/ˈɡɹævəl/
a loose group of small rock fragments
“The path was covered in smooth gravel.”