Reduce vertical margins in property tables

timhoffm · timhoffm · commit 9f12feb1e780 · 2021-07-04T00:44:09.000+02:00
diff --git a/doc/_static/mpl.css b/doc/_static/mpl.css
@@ -207,3 +207,9 @@ does not float with it.
     visibility: hidden;
 
 }
+
+
+table.property-table th,
+table.property-table td {
+    padding: 4px 10px;
+}
