diff options
-rw-r--r-- | Doc/tools/sphinxext/static/basic.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css index d9c0ded250..169138d894 100644 --- a/Doc/tools/sphinxext/static/basic.css +++ b/Doc/tools/sphinxext/static/basic.css @@ -261,7 +261,8 @@ table.docutils { } table.docutils td, table.docutils th { - padding: 1px 8px 1px 5px; + padding: 2px 5px 2px 5px; + border-left: 0; background-color: #eef; } |