From 668ae8bddaddc0d63248219bbd0d10fd0342bf90 Mon Sep 17 00:00:00 2001
From: Devon Carew <devoncarew@google.com>
Date: Fri, 14 Apr 2017 08:55:16 -0700
Subject: [PATCH] update the font used for docs.flutter.io (#9337)

* update the font used for docs.flutter.io

* update to use the flutter primary color

* update the header background color
---
 dev/docs/styles.html   | 10 +++++-----
 dev/tools/dartdoc.dart |  1 -
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/dev/docs/styles.html b/dev/docs/styles.html
index 1565940bd1..1a9662b02a 100644
--- a/dev/docs/styles.html
+++ b/dev/docs/styles.html
@@ -4,12 +4,8 @@
 </style>
 
 <style>
-  header {
-    background-color: #01579b;
-  }
-
   body {
-    font-size: 16px;
+    font-size: 15px;
     line-height: 1.5;
     color: #111;
     background-color: #fdfdfd;
@@ -17,6 +13,10 @@
     -webkit-font-smoothing: auto;
   }
 
+  header {
+    background-color: #01579b;
+  }
+
   h1, h2 {
     font-weight: 300;
   }
diff --git a/dev/tools/dartdoc.dart b/dev/tools/dartdoc.dart
index cc02754f29..f6836acb47 100644
--- a/dev/tools/dartdoc.dart
+++ b/dev/tools/dartdoc.dart
@@ -75,7 +75,6 @@ dependencies:
     '--use-categories'
   ];
 
-
   for (String libraryRef in libraryRefs(diskPath: true)) {
     args.add('--include-external');
     args.add(libraryRef);