Compact pushbuttons, emergency stop buttons