anchor.diff:        content = document.getElementById("content");
         detailsLink = document.getElementById("details");
         if (content.style.display == "block") {
  -        detailsLink.value = "Show Details";
  +        //detailsLink.value = "Show Details";
  +	detailsLink.innerHTML = "Show Details";
           content.style.display = "none";
         }else {
  -        detailsLink.value = "Hide Details";
  +        //detailsLink.value = "Hide Details";
  +        detailsLink.innerHTML = "Hide Details";
           content.style.display = "block";
         }
       }
  
positive.code:     div#content {
        padding: 20px;
      }
      input#details {
        display: none;
      }
      body, p, ol, ul, td {
        font-family: verdana, arial, helvetica, sans-serif;
  
negative.code:       padding: 10px;
        font-size: 11px;
      }
      #traces a {
        color: #000;
      }
  
    </style>
  
  