The RTD pseudo-sidebar that we get now (injected from a script?) messes up the...

The RTD pseudo-sidebar that we get now (injected from a script?) messes up the page layout. Remove it. [skip ci]

The RTD pseudo-sidebar that we get now (injected from a script?) messes up the...
The RTD pseudo-sidebar that we get now (injected from a script?) messes up the page layout. Remove it. [skip ci]
2e7c7ad3 · Jason Madden · 27c126c9 · 2e7c7ad3
Commit 2e7c7ad3 authored Apr 22, 2019 by Jason Madden
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletion

doc/mytheme/static/basic.css_t doc/mytheme/static/basic.css_t +4 -1

No files found.
--- a/doc/mytheme/static/basic.css_t
+++ b/doc/mytheme/static/basic.css_t
@@ -1030,7 +1030,10 @@ p.rubric {
    font-weight: bold;
 }

-
+/* Remove RTD cruft */
+body > div.injected {
+    display: none;
+}

 /*