From b8d15a1e61bcaad58a5bb53163bbf66207838f52 Mon Sep 17 00:00:00 2001
From: Devon Carew <devoncarew@google.com>
Date: Fri, 22 Jul 2016 22:21:04 -0700
Subject: [PATCH] hide some unnecessary headers from the generated docs (#5020)

---
 dev/docs/styles.html   | 3 +--
 dev/tools/dartdoc.dart | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/dev/docs/styles.html b/dev/docs/styles.html
index c47edb59e7..84ab45cff1 100644
--- a/dev/docs/styles.html
+++ b/dev/docs/styles.html
@@ -51,8 +51,7 @@
   }
 
   .sidebar h5 {
-    padding-top: 0 !important;
-    text-transform: uppercase;
+    display: none;
   }
 
   .sidebar-offcanvas-left {
diff --git a/dev/tools/dartdoc.dart b/dev/tools/dartdoc.dart
index 0557dd4190..c4da762a82 100644
--- a/dev/tools/dartdoc.dart
+++ b/dev/tools/dartdoc.dart
@@ -100,7 +100,7 @@ void createIndexAndCleanup() {
 void removeOldFlutterDocsDir() {
   try {
     new Directory('$kDocRoot/flutter').deleteSync(recursive: true);
-  } catch(e) {
+  } catch (e) {
     // If the directory does not exist, that's OK.
   }
 }
@@ -109,8 +109,8 @@ void renameApiDir() {
   new Directory('$kDocRoot/api').renameSync('$kDocRoot/flutter');
 }
 
-File copyIndexToRootOfDocs() {
-  return new File('$kDocRoot/flutter/index.html').copySync('$kDocRoot/index.html');
+void copyIndexToRootOfDocs() {
+  new File('$kDocRoot/flutter/index.html').copySync('$kDocRoot/index.html');
 }
 
 void addHtmlBaseToIndex() {