Merge pull request #157 from mitya57/master

Improve docs/extensions/index.txt so that the name for each extension is properly identified.

1 files changed, 15 insertions, 8 deletions

diff --git a/docs/basic.css b/docs/basic.css
index 2b47622..3f7ad80 100644
--- a/docs/basic.css
+++ b/docs/basic.css
@@ -246,18 +246,21 @@ div.body p.centered {
 
 /* -- tables ---------------------------------------------------------------- */
 
-table.docutils {
+table {
     border: 0 solid #dce;
     border-collapse: collapse;
 }
 
-table.docutils td, table.docutils th {
+table td, table th {
     padding: 2px 5px 2px 5px;
-    border-left: 0;    
-    background-color: #eef;    
 }
 
-table.docutils td p.last, table.docutils th p.last {
+table td {
+    border: 1px solid #ddd;
+    background-color: #eef;
+}
+
+table td p.last, table th p.last {
     margin-bottom: 0;
 }
 
@@ -269,8 +272,8 @@ table.footnote td, table.footnote th {
     border: 0 !important;
 }
 
-table.docutils th {
-    border-top: 1px solid #cac;    
+table th {
+    border: 1px solid #cac;
     background-color: #ede;
 }
 
@@ -280,7 +283,7 @@ th {
 }
 
 th.head {
-    text-align: center;    
+    text-align: center;
 }
 
 /* -- other body styles ----------------------------------------------------- */
@@ -371,6 +374,10 @@ pre {
     overflow-y: hidden;
 }
 
+code {
+    font-size: 1.1em;
+}
+
 td.linenos pre {
     padding: 5px 0px;
     border: 0;