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

pre.terminal
{
    background-color: white;
    color: black;
}

span.fdefault	{ color: black; }
span.bdefault	{ background-color: white; }
span.fdefaultf	{ color: #2c2c2c; }
span.bdefaultf	{ background-color: white; }

span.freverse	{ color: white; }
span.breverse	{ background-color: black; }
span.freversef	{ color: white; }
span.breversef	{ background-color: #2c2c2c; }

span.cmd
{
    color: gray;
}

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