pre#terminal
{
    border: double #d3d3d3 5px;
}

div.invdesc, div.whodesc
{
   font-size: 80%;
   background-color: #e8e8e8;
   border: 1pt solid #00004f;
   padding: 1ex;
}