redirect all RTD pages

This commit is contained in:
Michael Shamoon
2022-11-29 22:29:55 -08:00
parent 3e22e8e0b9
commit 304cfc42a9
16 changed files with 107 additions and 6901 deletions

View File

@@ -595,3 +595,11 @@ html.writer-html5 .rst-content dl.footnote code {
.wy-nav-content-wrap {
z-index: 20;
}
.rst-content .toctree-wrapper {
display: none;
}
.redirect-notice {
font-size: 2.5rem;
}