From 00c4c7b0238a27f1c8dfa4d9629864659e3d594e Mon Sep 17 00:00:00 2001 From: Devon Carew Date: Fri, 13 Oct 2017 13:31:32 -0700 Subject: [PATCH] de-emphasize the footer of the generated docs (#12514) --- dev/docs/styles.html | 13 +++++++++++-- dev/tools/dartdoc.dart | 7 +++++-- 2 files changed, 16 insertions(+), 4 deletions(-) diff --git a/dev/docs/styles.html b/dev/docs/styles.html index 2b299e28d0..42fa609669 100644 --- a/dev/docs/styles.html +++ b/dev/docs/styles.html @@ -134,8 +134,17 @@ } /* Attempt to de-emphasise the source code section */ - section.summary.source-code { opacity: 0.3; } - section.summary.source-code:hover { opacity: 0.8; } + section.summary.source-code { + opacity: 0.3; + } + section.summary.source-code:hover { + opacity: 0.8; + } + + footer { + font-size: 13px; + padding: 12px 20px; + } diff --git a/dev/tools/dartdoc.dart b/dev/tools/dartdoc.dart index b474f4ad5a..7a8ceae784 100644 --- a/dev/tools/dartdoc.dart +++ b/dev/tools/dartdoc.dart @@ -139,14 +139,17 @@ dependencies: } void createFooter(String footerPath) { + const int kGitRevisionLength = 10; + final ProcessResult gitResult = Process.runSync('git', ['rev-parse', 'HEAD']); - final String gitHead = (gitResult.exitCode == 0) ? gitResult.stdout.trim() : 'unknown'; + String gitRevision = (gitResult.exitCode == 0) ? gitResult.stdout.trim() : 'unknown'; + gitRevision = gitRevision.length > kGitRevisionLength ? gitRevision.substring(0, kGitRevisionLength) : gitRevision; final String timestamp = new DateFormat('yyyy-MM-dd HH:mm').format(new DateTime.now()); new File(footerPath).writeAsStringSync( '• $timestamp ' - '• $gitHead' + '• $gitRevision' ); }