Diff: adds some space between 2 changes in the same file and reduces html size.
Authored by: jplang 2008-06-02
Parent: [r1485]
Child: [r1487]
