BODY { margin: 0.042in 0.042in 0 0.042in }
input[type=button]      { font-weight: bold; color: buttontext; background-color: buttonface }
input[type=submit]      { font-weight: bold; color: buttontext; background-color: buttonface }
input[type=reset]       { font-weight: bold; color: buttontext; background-color: buttonface }