Add a margin to the bottom of wiki tables (#843).
Authored by: jplang 2008-03-16
Parent: [r1258]
Child: [r1260]
