diff --git a/public/_includes/_version-dropdown.jade b/public/_includes/_version-dropdown.jade index 964f4e9cec..8e8a2cc05b 100644 --- a/public/_includes/_version-dropdown.jade +++ b/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 diff --git a/public/resources/css/module/_code.scss b/public/resources/css/module/_code.scss index 17403e17f3..8ca49e8b3a 100644 --- a/public/resources/css/module/_code.scss +++ b/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;