Prefer local CSS to remote

Bug: https://github.com/rust-lang/rust/pull/45331

Gbp-Pq: Name u-prefer-local-css.patch

diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs
index eec193c21f5db3d84eebea0645cd1e91caf55a82..3cfb97f620e0c547fc5609f87aef4052db68c315 100644 (file)
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -407,7 +407,7 @@ impl Step for Standalone {
 
             if filename == "not_found.md" {
                 cmd.arg("--markdown-css")
-                   .arg("https://doc.rust-lang.org/rust.css");
+                   .arg("rust.css");
             } else {
                 cmd.arg("--markdown-css").arg("rust.css");
             }