Added border and padding on wiki table headers.
Authored by: jplang 2007-08-29
Parent: [r679]
Child: [r681]
