hide some unnecessary headers from the generated docs (#5020)

This commit is contained in:
Devon Carew 2016-07-22 22:21:04 -07:00 committed by GitHub
parent 69aef8f217
commit b8d15a1e61
2 changed files with 4 additions and 5 deletions

View File

@ -51,8 +51,7 @@
} }
.sidebar h5 { .sidebar h5 {
padding-top: 0 !important; display: none;
text-transform: uppercase;
} }
.sidebar-offcanvas-left { .sidebar-offcanvas-left {

View File

@ -100,7 +100,7 @@ void createIndexAndCleanup() {
void removeOldFlutterDocsDir() { void removeOldFlutterDocsDir() {
try { try {
new Directory('$kDocRoot/flutter').deleteSync(recursive: true); new Directory('$kDocRoot/flutter').deleteSync(recursive: true);
} catch(e) { } catch (e) {
// If the directory does not exist, that's OK. // If the directory does not exist, that's OK.
} }
} }
@ -109,8 +109,8 @@ void renameApiDir() {
new Directory('$kDocRoot/api').renameSync('$kDocRoot/flutter'); new Directory('$kDocRoot/api').renameSync('$kDocRoot/flutter');
} }
File copyIndexToRootOfDocs() { void copyIndexToRootOfDocs() {
return new File('$kDocRoot/flutter/index.html').copySync('$kDocRoot/index.html'); new File('$kDocRoot/flutter/index.html').copySync('$kDocRoot/index.html');
} }
void addHtmlBaseToIndex() { void addHtmlBaseToIndex() {