pre {
      background-color: #ffffff;      
      }

   #decl{
      background-color: #eeeeee;
      line-height: 15pt;
      }

    #green{
      color: #008800;
      }

    #salmon {
      color:#ef8473;
      }

    #eightpt{
    font-size:8pt;
      }