Center table headings.

diff --git a/Doc/tools/sphinxext/static/basic.css b/Doc/tools/sphinxext/static/basic.css
index 1f0af4cf99eed27bd7e986d1f22e3f6924d767e5..feba39345a4faf3e8c9a01e612a93945a0d2bb42 100644 (file)
--- a/Doc/tools/sphinxext/static/basic.css
+++ b/Doc/tools/sphinxext/static/basic.css
@@ -287,6 +287,10 @@ th {
     background-color: #ede;
 }
 
+th.head {
+    text-align: center;    
+}
+
 /* -- other body styles ----------------------------------------------------- */
 
 dl {