diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh index 7871b73f5f..40af981496 100755 --- a/dev/bots/docs.sh +++ b/dev/bots/docs.sh @@ -2,8 +2,7 @@ set -e # Install dartdoc. -# We peg to this version to work around a bug affecting Flutter in 0.9.7+2. -pub global activate dartdoc 0.9.7+1 +pub global activate dartdoc 0.9.7+6 # Generate flutter docs into dev/docs/doc/api/. (cd dev/tools; pub get) diff --git a/dev/docs/styles.html b/dev/docs/styles.html index 0f9b87e97e..67fb401664 100644 --- a/dev/docs/styles.html +++ b/dev/docs/styles.html @@ -50,6 +50,16 @@ font-size: inherit; } + .sidebar-offcanvas-left { + background-color: #fdfdfd; + } + + @media screen and (max-width: 768px) { + .sidebar-offcanvas-left.active { + padding: 10px; + } + } + .sidebar-offcanvas-left ol { padding: 0 16px 16px 0; } @@ -58,10 +68,6 @@ display: none; } - .sidebar-offcanvas-left { - background-color: inherit; - } - .sidebar-offcanvas-left h5 { border-bottom: none; padding: 0 0 16px 0;