development/flutter
development/flutter
1
0
Fork 0
mirror of https://github.com/flutter/flutter synced 2024-11-05 18:37:51 +00:00
Code Issues Projects Releases Packages Wiki Activity

update the font used for docs.flutter.io (#9337)

Browse source 
* update the font used for docs.flutter.io

* update to use the flutter primary color

* update the header background color
This commit is contained in:
Devon Carew 2017-04-14 08:55:16 -07:00 committed by GitHub
parent c4482b4ace
commit 668ae8bdda
2 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
dev/docs/styles.html
View file

@ -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;
}

1
dev/tools/dartdoc.dart
View file

@ -75,7 +75,6 @@ dependencies:
'--use-categories'
];
for (String libraryRef in libraryRefs(diskPath: true)) {
args.add('--include-external');
args.add(libraryRef);