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