Doc: Make first line in tables darker

ImportanceOfBeingErnest · ImportanceOfBeingErnest · commit b35622140bc2 · 2018-06-13T02:17:25.000+02:00
diff --git a/doc/_static/mpl.css b/doc/_static/mpl.css
@@ -495,6 +495,12 @@ p.topic-title {
     padding-top: 0.7em;
 }
 
+.contents ul > li::before {
+    content: "\25FE";
+    color: #aaa;
+    padding-right: .3em;
+}
+
 .contents > ul > li > a {
     font-size: 1.0em;
 }
@@ -633,6 +639,10 @@ table.docutils tr:last-of-type td {
     border-bottom-color: #888;
 }
 
+table.docutils tr:first-of-type td {
+    border-top-color: #888;
+}
+
 /* Section titles within classes */
 dl.class p.rubric {
     font-size: 16px;
