anchor.diff:  }
   
   .heading p {
  -  margin: 10px 10px 17px 10px;
  +  margin: 10px 10px 0px 10px;
     font-size: 16pt;
   }
   div.topfive {
  
positive.code: <% end %>
  
  <div class="heading">
    <p>
      <a href="http://donpark.org/wiki/icecondor">IceCondor</a> <br/>
    </p>
    <p id="subtitle">
  
negative.code:   font-size: 80%;
  }
  
  .heading p#title a {
    font-size: 26pt;
    font-weight: bold;
    color: black;
  