Minimize bundled user-agent CSS: html.css

third_party/WebKit/public/BUILD.gn

Index: third_party/WebKit/public/BUILD.gn
diff --git a/third_party/WebKit/public/BUILD.gn b/third_party/WebKit/public/BUILD.gn
index 5c834f910f325eff47e55f504cdc72aea53164a5..e23f6861bb35ab763f4523fa1214756cafbf11ec 100644
--- a/third_party/WebKit/public/BUILD.gn
+++ b/third_party/WebKit/public/BUILD.gn
@@ -4,6 +4,7 @@
 
 import("//mojo/public/tools/bindings/mojom.gni")
 import("//third_party/WebKit/Source/config.gni")
+import("//third_party/WebKit/Source/core/core.gni")
 import("//tools/grit/grit_rule.gni")
 
 if (is_android) {
@@ -616,6 +617,14 @@ grit("resources") {
       "use_concatenated_impulse_responses",
     ]
   }
+  html_min_css = "$blink_core_output_dir/html.css"
+  grit_flags += [
+    "-E",
+    "html_min_css=" + rebase_path(html_min_css),
+  ]
+  deps = [
+    "//third_party/WebKit/Source/core:make_minimized_css",
+  ]
 }
 
 grit("image_resources") {