diff --git a/0.12.1/docs/_static/docs.css b/0.12.1/docs/_static/docs.css index 710eedb711..2facb5ffb0 100644 --- a/0.12.1/docs/_static/docs.css +++ b/0.12.1/docs/_static/docs.css @@ -4,7 +4,7 @@ a { color: #447281; } a:hover { color: #73a600; text-decoration: none; } .navbar-logo { visibility: visible; float: left; padding-top: 6px; margin-bottom: 18px;} .main { position: relative; height: auto; margin-top: -18px; overflow: auto; } -.page-title { position: relative; top: 24px; font-family: 'Exo', sans-serif; font-size: 24px; font-weight: 400; color: rgba(255, 255, 255, 1); text-shadow:0 2px 0 #000000; width: 900px; min-height: 32px; } +.page-title { position: relative; top: 24px; font-family: 'Exo', sans-serif; font-size: 24px; font-weight: 400; color: rgba(255, 255, 255, 1); text-shadow:0 2px 0 #000000; width: 900px; min-height: 32px; z-index: -1; } .main-container { background: #f2f2eb; min-height: 600px; padding-top: 20px; margin-top: 28px; padding-bottom: 40px; } .container h1:first-of-type { display: none; visibility: hidden; margin-top: -36px; } .pdf-link { float: right; height: 40px; margin-bottom: -15px; margin-top: -5px; } diff --git a/0.12.1/docs/_static/set-versions.js b/0.12.1/docs/_static/set-versions.js index 09fac87429..cb451de5c9 100644 --- a/0.12.1/docs/_static/set-versions.js +++ b/0.12.1/docs/_static/set-versions.js @@ -43,18 +43,18 @@ $(document).ready(function() { // but if it doesn't exist, go to the index for that version select.change(function() { var newV = $(this).val(); + var newPath = newV + '/'; var oldLoc = document.location.href; var changeVersion = function(oldPathname) { - var newPath = newV + '/'; var changed = oldPathname.replace(selected + '/', newPath).replace(snapshotPath, newPath).replace(releasePath, newPath); - // This occurs for unversioned files, specifically /index.html. - // Redirect to the versioned path in this case (won't work when previewing on the local filesytem) - if (changed == oldPathname) changed = newPath + docsPath + changed; + // This occurs for the unversioned /index.html. Redirect to the versioned path in this case. + if (changed == oldPathname) + changed = oldPathname.replace('index.html', newPath + docsPath + 'home.html'); return changed; }; - var home = function(pathname) { return 'index.html'; }; + var newVersionIndex = function(pathname) { return newPath + docsPath + 'index.html'; }; - gotoIfExists( mapPath(oldLoc, changeVersion), mapPath(oldLoc, home)); + gotoIfExists( mapPath(oldLoc, changeVersion), mapPath(oldLoc, newVersionIndex) ); }); }); diff --git a/0.13.0-SNAPSHOT/docs/_static/docs.css b/0.13.0-SNAPSHOT/docs/_static/docs.css index 710eedb711..2facb5ffb0 100644 --- a/0.13.0-SNAPSHOT/docs/_static/docs.css +++ b/0.13.0-SNAPSHOT/docs/_static/docs.css @@ -4,7 +4,7 @@ a { color: #447281; } a:hover { color: #73a600; text-decoration: none; } .navbar-logo { visibility: visible; float: left; padding-top: 6px; margin-bottom: 18px;} .main { position: relative; height: auto; margin-top: -18px; overflow: auto; } -.page-title { position: relative; top: 24px; font-family: 'Exo', sans-serif; font-size: 24px; font-weight: 400; color: rgba(255, 255, 255, 1); text-shadow:0 2px 0 #000000; width: 900px; min-height: 32px; } +.page-title { position: relative; top: 24px; font-family: 'Exo', sans-serif; font-size: 24px; font-weight: 400; color: rgba(255, 255, 255, 1); text-shadow:0 2px 0 #000000; width: 900px; min-height: 32px; z-index: -1; } .main-container { background: #f2f2eb; min-height: 600px; padding-top: 20px; margin-top: 28px; padding-bottom: 40px; } .container h1:first-of-type { display: none; visibility: hidden; margin-top: -36px; } .pdf-link { float: right; height: 40px; margin-bottom: -15px; margin-top: -5px; } diff --git a/0.13.0-SNAPSHOT/docs/_static/set-versions.js b/0.13.0-SNAPSHOT/docs/_static/set-versions.js index 09fac87429..cb451de5c9 100644 --- a/0.13.0-SNAPSHOT/docs/_static/set-versions.js +++ b/0.13.0-SNAPSHOT/docs/_static/set-versions.js @@ -43,18 +43,18 @@ $(document).ready(function() { // but if it doesn't exist, go to the index for that version select.change(function() { var newV = $(this).val(); + var newPath = newV + '/'; var oldLoc = document.location.href; var changeVersion = function(oldPathname) { - var newPath = newV + '/'; var changed = oldPathname.replace(selected + '/', newPath).replace(snapshotPath, newPath).replace(releasePath, newPath); - // This occurs for unversioned files, specifically /index.html. - // Redirect to the versioned path in this case (won't work when previewing on the local filesytem) - if (changed == oldPathname) changed = newPath + docsPath + changed; + // This occurs for the unversioned /index.html. Redirect to the versioned path in this case. + if (changed == oldPathname) + changed = oldPathname.replace('index.html', newPath + docsPath + 'home.html'); return changed; }; - var home = function(pathname) { return 'index.html'; }; + var newVersionIndex = function(pathname) { return newPath + docsPath + 'index.html'; }; - gotoIfExists( mapPath(oldLoc, changeVersion), mapPath(oldLoc, home)); + gotoIfExists( mapPath(oldLoc, changeVersion), mapPath(oldLoc, newVersionIndex) ); }); }); diff --git a/0.7.7/docs/home.html b/0.7.7/docs/home.html new file mode 120000 index 0000000000..64233a9e95 --- /dev/null +++ b/0.7.7/docs/home.html @@ -0,0 +1 @@ +index.html \ No newline at end of file