code.terminal
{
   background-color:#CCCCCC;
   color:#000000;
}

div.menu
{
   display:none;
}