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

diff --git a/dev/docs/styles.html b/dev/docs/styles.html
index 1565940..1a9662b 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;
   }

dev/tools/dartdoc.dart

diff --git a/dev/tools/dartdoc.dart b/dev/tools/dartdoc.dart
index cc02754..f6836ac 100644
--- a/dev/tools/dartdoc.dart
+++ b/dev/tools/dartdoc.dart
@@ -75,7 +75,6 @@
     '--use-categories'
   ];
 
-
   for (String libraryRef in libraryRefs(diskPath: true)) {
     args.add('--include-external');
     args.add(libraryRef);