Show table of contents in smaller fonts

static/css/style.css

@@ -364,3 +364,7 @@ ul.top-menu li a {
 img {
     border: 1px solid #EEEEEE;
 }
+
+.table-of-content .toc {
+font-size: 0.7em;
+}