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 f81c64076ebab80a6a6d29f58c0d471a8ed2a03c..2a3c3cb5fde43c7f0e21c6abade2a467f37ea0ac 100644 (file)
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -434,7 +434,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");
             }