From f313b7ff2b7b912d344e6daa2c4114bdd78a7388 Mon Sep 17 00:00:00 2001 From: Doug Hellmann Date: Fri, 6 Jan 2017 13:40:23 -0500 Subject: [PATCH] increase margins in table cells Make the margins in the table cells a little bigger to make the layout look nicer. Change-Id: Icc155c707bf1e53c354b7d233fee62c57d05ff08 Signed-off-by: Doug Hellmann --- doc/source/_themes/releases/static/css/combined.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/source/_themes/releases/static/css/combined.css b/doc/source/_themes/releases/static/css/combined.css index 5b8855c773..157d250ddc 100644 --- a/doc/source/_themes/releases/static/css/combined.css +++ b/doc/source/_themes/releases/static/css/combined.css @@ -9,10 +9,10 @@ table { } table.docutils th { - padding: 2px; } + padding: 0.2em 0.2em 0.2em 0.5em; } table.docutils td { - padding: 2px; } + padding: 0.2em 0.2em 0.2em 0.5em; } table.docutils caption { font-weight: bold; }