1 files changed, 1 insertions, 0 deletions
diff --git a/doc/pipe.css b/doc/pipe.css
index 392589daff..56d27d2ca7 100644
--- a/doc/pipe.css
+++ b/doc/pipe.css
@@ -413,6 +413,7 @@ h1 a, h2 a, h3 a, h4 a
 }
 
 #explore li {
+    font-size:12px;
     list-style-type: none;
     color: #d2d8ba;
     line-height: 14px;