Handle rustdoc version when generating crate doc

Author: GuillaumeGomez

src/docbuilder/rustwide_builder.rs

@@ -589,8 +589,31 @@ impl RustwideBuilder {
         rustdoc_flags.extend(vec![
             "--resource-suffix".to_string(),
             format!("-{}", parse_rustc_version(&self.rustc_version)?),
+            "--html-before-content".to_string(),
+            "docrs-version.html".to_string(),
+            "--html-in-header".to_string(),
+            "docsrs-in-header.html".to_string(),
         ]);
 
+        let f = build.host_source_dir().join("docrs-version.html");
+        std::fs::write(f, "<div id=\"docs-rustdoc-v1\"></div>").expect("failed");
+        let f = build.host_source_dir().join("docsrs-in-header.html");
+        std::fs::write(f, "<style>\
+#rustdoc_body_wrapper {
+    padding: 0;
+}
+div.container-rustdoc > .docs-rs-footer {
+    bottom: 0;
+    right: 0;
+}
+div.container-rustdoc:not(.source) > .docs-rs-footer {
+    left: 200px;
+}
+div.rustdoc #sidebar-toggle {
+    top: 0;
+}\
+</style>").expect("failed");
+
         let mut storage = LogStorage::new(LevelFilter::Info);
         storage.set_max_size(limits.max_log_size());
 

templates/style/rustdoc.scss

@@ -4,9 +4,10 @@
 // This rule is needed to be sure that the footer will always be at the bottom of the page.
 #rustdoc_body_wrapper {
     min-height: calc(100vh - #{$top-navbar-height + $footer-height + 2});
-    padding: 0;
+}
 
-    .sidebar {
+#rustdoc_body_wrapper {
+    #docs-rustdoc-v1 ~ .sidebar {
         margin-top: 0;
         top: $top-navbar-height;
 
@@ -15,7 +16,7 @@
         }
     }
 
-    main {
+    #docs-rustdoc-v1 ~ main {
         padding-bottom: 50px;
     }
 }
@@ -33,8 +34,8 @@ div.container-rustdoc {
     text-align: left;
 
     > .docs-rs-footer {
-        bottom: 0;
-        right: 0;
+        bottom: -32px;
+        right: -15px;
         width: unset;
     }
 }
@@ -45,7 +46,7 @@ div.container-rustdoc {
 
 div.container-rustdoc:not(.source) {
     > .docs-rs-footer {
-        left: 200px; // This is the left sidebar
+        left: 185px; // This is the left sidebar
     }
 
     // This is when the rustdoc sidebar "disappears" (for mobile mode).
@@ -125,6 +126,10 @@ div.rustdoc {
         top: $top-navbar-height;
     }
 
+    #sidebar-toggle {
+        top: 62px;
+    }
+
     &:focus {
         outline: unset;
     }