Brian S. Stephan 0993147dea give tables a bottom margin ...

otherwise they look bad, for instance, at the very end of the page, too
close to the "Last modified" text.

2020-05-28 08:20:24 -05:00

..

style.css

give tables a bottom margin

2020-05-28 08:20:24 -05:00