body {
          background-color: #1f4f4f;
          background-image: url("sq10.png");
          color: #00ff00;
     }
     a {   
          color: #00ff00;
     }
     table.tab {
          background-color: #1f4f4f;
          border-top: 1px solid;
          border-left: 1px solid;
          border-color: #00ff00;          
     }
     td {
          border-right: 1px solid;
          border-bottom: 1px solid;
          border-color: #00ff00;                              
     }
     tr.new {
          color: #ffffff;
     }     
     tr.old {
          color: #000000;
          text-decoration: line-through;
     }     
     hr {
          border-color: #00ff00;
          border-style: solid;
          border-width: 1px;      
     }
     pre {
          padding: 1ex;
          border: 1px solid #00ff00;
          background-color: black;
          text-align: left;          
          font-size: 11pt;
     }