From 6bb4b12633fe40f3ff62122d2ebd994722203dd5 Mon Sep 17 00:00:00 2001 From: Janice Collins Date: Wed, 6 Feb 2019 11:10:59 -0800 Subject: [PATCH] Update dartdoc to 0.28.1+2 and fix search text alignment (#27559) --- dev/bots/docs.sh | 2 +- dev/docs/assets/overrides.css | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh index 4a20bf8253..3ae9cf48a4 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh @@ -104,7 +104,7 @@ if [[ -d "$FLUTTER_PUB_CACHE" ]]; then fi # Install and activate dartdoc. -"$PUB" global activate dartdoc 0.28.1+1 +"$PUB" global activate dartdoc 0.28.1+2 # This script generates a unified doc set, and creates # a custom index.html, placing everything into dev/docs/doc. diff --git a/dev/docs/assets/overrides.css b/dev/docs/assets/overrides.css index 981157b7f7..19cd74ec98 100644 --- a/dev/docs/assets/overrides.css +++ b/dev/docs/assets/overrides.css @@ -103,7 +103,6 @@ code { background-image: none; border: 1px solid #ccc; border-radius: 2px; - font-family: inherit; padding: 4px 6px; font-size: 15px; }