<html>
<head>
  <style type="text/css">
    .strike { color: black; text-decoration: underline; }
    .old { color: black; background: #ff6666; /* red */ margin-right: 4px; }
    .new { color: black; background: #1EBA33; /* green */ }
  </style>
</head>
<body>
<pre>
/*
    -- MAGMA (version <span class="strike"><span class="old">1.1</span></span><span class="new">2.0</span>) --
       Univ. of Tennessee, Knoxville
       Univ. of California, Berkeley
       Univ. of Colorado, Denver
       @date

       @pr