#show_signs {
 padding-top: 2px;
 margin-bottom: 6px;
 }
 #highlight  {
 display: none;
 }
 #enter {
 margin-bottom: 6px;
 padding: 0px;
 }
 #td_right #enter button { 
 width: 60px;
 height: 28px;
 padding: 0px;
 }
 #td_right #enter button img { 
 margin-top: 4px;
 }
 #td_right #del  { 
 margin-bottom: 4px;
 }
 #td_right #upper {
 margin-bottom: 0px;
 }
 #td_right #lower {
 margin-bottom: 0px;
 }
 #wf_div textarea {
 width: 100%;
 height: 150px;
 font-family: Arial Unicode MS, Code2000, Helvetica, sans-serif; 
 font-size: 10pt;
 }
 #wf_div button {
  margin-right: 1px;
 }
 #num {  /* numbers */
 padding-left: 25px;
 }
 #wf_div #num button {
 width: 28px; 
 height: 25px;
 padding: 0px;
 margin-right: 3px;
 margin-left: 0px;
 background-image:url(/img/hg/button_blau.jpg); 
 background-repeat:repeat-x; 
 }
 #chars button {
 width: 30px;
 height: 28px;
 margin: 0px; 
 margin-right: 0px;
 margin-bottom: 0px; 
 padding: 0px; 
 background-color: white;
 background-image: none; 
 } 
 #chars  #highlight2 {
 height: auto;
 margin-top: 3px;
 width: 70px;
 margin-left: 35px;
 padding-top: 3px;
 padding-bottom: 3px;
 background-image:url(/img/hg/button_blau.jpg); 
 background-repeat:repeat-x; 
 } 
 #bottom  td  { 
 text-align: left;
 padding-bottom: 15px;
 }
 #bottom button {
 margin-right: 1px;
 }
 #bottom  #clear  {
 width: 55px;
 background-image:url(/img/hg/button_blau.jpg); 
 background-repeat: repeat-x; 
 margin-right: 3px;
 } 
 #bottom  #Undo {
 width: 50px;
 background-image:url(/img/hg/button_blau.jpg); 
 background-repeat: repeat-x; 
 }