Buttons in all shapes and sizes

• Selector: General abstraction for creating new types of buttons.
• Button: Push buttons.
• MenuElement: Elements for pulldown and popup menus.
• MenuButton: Pulldown menu activators.
• ArrowButton: Arrowed buttons (for @aref{Scrollbar}s).
• QuitButton: The simple way out.