#d_terminal
{ margin-top:   1,1ex; 

  border-color: #BBBBBB; 
  border-width: 2px; 
  border-style: solid;
}