A {
          font-family: "courier";
          font-size: 12px;
          font-weight: bold;
          text-decoration: none;
          color: DimGray;
          background-color: none;
          cursor: hand;
     }

   A:hover {
          font-size: 13px;
          font-weight: bold;
          text-decoration: underline ;
          color: white;
          background-color: darkred;
          background-image: none;
          cursor: hand;
           }

   PRE {
          font-size: 11px;
          background-color: #ebffd7;
       }