diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh index 98dda74495..508a092d31 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh @@ -8,7 +8,7 @@ set -e bin/flutter --version # Install dartdoc. -bin/cache/dart-sdk/bin/pub global activate dartdoc 0.11.1 +bin/cache/dart-sdk/bin/pub global activate dartdoc 0.12.0 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc. diff --git a/dev/docs/styles.html b/dev/docs/styles.html index a111a6eed7..d423efc3ff 100644 --- a/dev/docs/styles.html +++ b/dev/docs/styles.html @@ -1,11 +1,12 @@