IE needs the border-left:0 for some reason.

diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css
index d9c0ded2509052e79a89f851ec85a6398852ef22..169138d894af7509fe09f4af99f78f68cc57b42b 100644 (file)
--- 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;    
 }