.textbutton_smallred
{
  /* padding: 2px 3px 2px 3px; */
  font-family: Arial;
  font-size: 1em;
  font-weight: bold;
  cursor: pointer;
}

.smallred_rest
{
  border: 2px outset;
  background-color: #FF3333;
  color: white;
}

.smallred_over
{
  border: 2px #B7A482 outset;
  background-color: #FFDB70;
  color: #333333;
}

.smallred_press
{
  border: 2px inset;
  background-color: #ECE9D8;
  color: #333333;
}