Docs colors logo (flutter#5176)

sethladd · web-flow · commit b34b453c6c8c · 2016-08-01T15:43:10.000-07:00
* update the color and logo for the docs site

* update the color and logo for the docs site

* remove unused file

* removed unused script code

* tweak styles for inherited names
diff --git a/dev/bots/docs.sh b/dev/bots/docs.sh
@@ -14,24 +14,6 @@ dart dev/tools/dartdoc.dart
 # Ensure google webmaster tools can verify our site.
 cp dev/docs/google2ed1af765c529f57.html dev/docs/doc
 
-# Upload the docs to cloud storage.
-# TODO: remove this when we're comfortable with Firebase hosting.
-
-if [ "$1" = "--upload" ]; then
-  # This isn't great, because we're uploading our files twice. But,
-  # we're ensuring we're not leaving any deleted files on the server.
-  # And we're ensuring we're compressing text files.
-  # Unfortunately, rsync can't set Content-Encoding for a subset of files,
-  # and rsync can't run in a "only delete files on server that are no
-  # longer in the local source dir".
-
-  # Ensure files on server are deleted when no longer in local generated source.
-  gsutil -m rsync -d -r dev/docs/doc/ gs://docs.flutter.io/
-
-  # Ensure compressable files are gzipped and then stored.
-  gsutil -m cp -r -z "js,json,html,css" dev/docs/doc/* gs://docs.flutter.io/
-fi
-
 # Upload new API docs when on Travis and branch is master
 
 if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then
diff --git a/dev/docs/favicon.ico b/dev/docs/favicon.ico
diff --git a/dev/docs/styles.html b/dev/docs/styles.html
@@ -1,7 +1,11 @@
 <!-- style overrides for dartdoc -->
+<style>
+@import 'https://fonts.googleapis.com/css?family=Roboto:100i';
+</style>
+
 <style>
   header {
-    background-color: #917FFF;
+    background-color: #01579b;
   }
 
   body {
@@ -105,6 +109,11 @@
   i.material-icons.md-48 {
     vertical-align: bottom;
   }
+
+  /* thinify the inherited names in lists */
+  li.inherited a {
+    font-weight: 100;
+  }
 </style>
 
 <!-- The following rules are from http://google.github.io/material-design-icons/ -->
