Prefer local CSS to remote

infinity0 · infinity0 · commit d5d50adb1198 · 2017-10-17T00:33:58.000+02:00
diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs
@@ -411,7 +411,7 @@ impl Step for Standalone {
             if filename == "not_found.md" {
                 cmd.arg("--markdown-no-toc")
                    .arg("--markdown-css")
-                   .arg("https://doc.rust-lang.org/rust.css");
+                   .arg("rust.css");
             } else {
                 cmd.arg("--markdown-css").arg("rust.css");
             }

Original file line number	Diff line number	Diff line change
`@@ -411,7 +411,7 @@ impl Step for Standalone {`
`411`	`411`	`if filename == "not_found.md" {`
`412`	`412`	`cmd.arg("--markdown-no-toc")`
`413`	`413`	`.arg("--markdown-css")`
`414`		`- .arg("https://doc.rust-lang.org/rust.css");`
	`414`	`+ .arg("rust.css");`
`415`	`415`	`} else {`
`416`	`416`	`cmd.arg("--markdown-css").arg("rust.css");`
`417`	`417`	`}`