/* dont ask */
  .dummy {}
  
  .button               {font-size: 13px; font-family: verdana,arial,helvetica,sans-serif; font-weight: 400; border-style:outset; color:#000000; background-color: #cccccc;}
  .hotButton            {font-size: 13px; font-family: verdana,arial,helvetica,sans-serif; font-weight: 700; border-style:outset; color:#000000; background-color: #cccccc;}
  .smallButton          {font-size: 11px; font-family: arial,verdana,helvetica,sans-serif; font-weight: 300; border-style:outset; color:#000000; background-color: #aa55dd;
Border-Bottom-Color: #AA77DD;
Border-Left-Color: #AA7EAD;
Border-Right-Color: #CCaaCC;
Border-Top-Color: #CCaaCC;
  }
  .greenButton          {font-size: 12px; font-family: arial, verdana, helvetica, sans-serif; font-weight: 300; color:#000000; background-color: #99CC99;
Border-Bottom-Color: #AA77DD;
Border-Left-Color: #AA7EAD;
Border-Right-Color: #CCaaCC;
Border-Top-Color: #CCaaCC;
; border-color: #CCFFCC #66CC99 #66CC99 #CCFFCC; border-style: outset
  }
  .regRedButton          {font-family: arial,verdana,helvetica,sans-serif; font-weight: 400; border-style:outset; color:#000000; 
background-color: #aa55dd;
Border-Bottom-Color: #AA77DD;
Border-Left-Color: #AA7EAD;
Border-Right-Color: #CCaaCC;
Border-Top-Color: #CCaaCC;
  }
  .smallerButton      {font-size: 9px; font-family: verdana,arial,helvetica,sans-serif; font-weight: 400; border-style:outset; color:#000000; background-color: #cccccc;}
  .myhead {
  font-family: verdana,arial,helvetica,sans-serif; 
  font-size: 36px;
  font-weight: 400; 
  }