/* Version 3 15.5.2009 */

/* Button ist nicht in der tabelle */
#ButtonSet
{
   margin-left: 1em; /*3px;*/	
   margin-top: 2em;    
   padding-bottom: 0.1636em; /*2px;*/
   width: 9.407em; /*115px;*/ 
   height: 1.8em; /*30px;*/
   background-color: rgb(187, 206, 253);
   color: black;    
   font-weight:bold;     
   font-size: 1.0634em; /* 13px;*/ 
}