1 files changed, 7 insertions, 0 deletions
diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css
index 855899f6..ed83708a 100644
--- a/doc-src/02-docstyle.css
+++ b/doc-src/02-docstyle.css
@@ -4,6 +4,13 @@
     background: #000000;
 }
 
+
 pre {
+    margin-top: 10px;
     color: #333;
 }
+
+
+.tablenum {
+    font-weight: bold;
+}