4.8.11 guibutton

Used for buttons in a graphical user interface (GUI).

Click <guibutton>OK</guibutton> to select that option.

http://docbook.org/tdg/en/html/guibutton.html