michael@0: button { visibility: hidden; }
michael@0: button:default { visibility: visible; }