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 608cee0a80bfc9f602c8c60c78429f8f522e24ae..57f6dd9603edf45bc046d63260ea475bbf9250c3 100644 (file)
--- a/src/bootstrap/doc.rs
+++ b/src/bootstrap/doc.rs
@@ -392,7 +392,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");
             }