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'
);
}