<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Fixed.</blockquote><div><br></div><div>I like how it's easy to tell what changed in the webpages now :-)</div>

<div><br></div><div><a href="http://petsc.cs.iit.edu/petsc/petsc-dev/rev/d058bd1e3700">http://petsc.cs.iit.edu/petsc/petsc-dev/rev/d058bd1e3700</a> </div></div>