Fine tune the <h1> bottom margin, as suggested in #4113.
Authored by: cboos 2006-12-02
Parent: [r4389]
Child: [r4391]
