smaller font size for the top menu

yihui · yihui · commit df607f5d477a · 2016-03-18T22:07:23.000-05:00
diff --git a/toc.css b/toc.css
@@ -122,3 +122,6 @@
 #TOC .has-sub ul li.last > a {
   border-bottom: 0;
 }
+#TOC ul {
+  font-size: 1.2rem;
+}
