Merge pull request #7543 from mgeier/table-margin

basic theme: Add top and bottom margins to tables
This commit is contained in:
Takeshi KOMIYA 2020-04-28 01:18:43 +09:00 committed by GitHub
commit 87a85a75e6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -377,6 +377,8 @@ div.body p.centered {
/* -- tables ---------------------------------------------------------------- */
table.docutils {
margin-top: 10px;
margin-bottom: 10px;
border: 0;
border-collapse: collapse;
}