p
{
        line-height:150%
}

pre
        {
          margin-left: 1%;
          margin-right: 1%;
          white-space: pre;
          line-height:100%;
          font-size: 80%
}
pre.com
{
          background-color: #E6E6E6;
          color: blue;
}

pre.out
{
          background-color: #E6E6E6;
          color: green;
}

pre.file
{
          background-color: grey;
          color: yellow;
}