drop down update

public/_includes/_version-dropdown.jade

@@ -17,18 +17,11 @@ replace = /(\.html$)|(^index\.html$)/
 mixin tree(head, tail)
   for val, key in head
     if key !== '.git' && key !== '_data'
-      if key == '_contents'
-        each file in val
-          if filter.test(file) && !/^404\.html/.test(file)
-            - file = file.replace(replace, "");
-            li: a(href="#{ tail + file }")= tail + file
-      else
-        mixin tree(val, tail + key + "/")
+      li #{key}
 
-h1 Sitemap
-ol
-mixin tree(public, "/")
 
+mixin tree(public.docs.js, "")
+mixin tree(public.docs.dart, "")
 
 
 h2.hero-subtitle.text-subhead

public/resources/css/module/_code.scss

@@ -45,7 +45,7 @@
       margin-bottom: 5px;
       line-height: normal;
       list-style-type: decimal;
-      font-size: 14px;
+      font-size: 12px;
 
       &:last-child {
         margin-bottom: 0px;