Sync docs from master to gh-pages

This commit is contained in:
buildmaster
2019-08-12 17:56:01 +00:00
parent 9033355898
commit 0f3f9a07ed
19 changed files with 799 additions and 1093 deletions

File diff suppressed because one or more lines are too long

View File

@@ -16,13 +16,7 @@ if (toctitle != null) {
});
if (!path.endsWith("index.html") && !path.endsWith("/")) {
var link = document.createElement("a");
if (document.getElementById('index-link')) {
indexLinkElement = document.querySelector('#index-link > p > a');
linkHref = indexLinkElement.getAttribute("href");
link.setAttribute("href", linkHref);
} else {
link.setAttribute("href", "index.html");
}
link.setAttribute("href", "index.html");
link.innerHTML = "<span><i class=\"fa fa-chevron-left\" aria-hidden=\"true\"></i></span> Back to index";
var block = document.createElement("div");
block.setAttribute('class', 'back-action');
@@ -110,4 +104,4 @@ var headerHtml = '<div id="header-spring">\n' +
var header = document.createElement("div");
header.innerHTML = headerHtml;
document.body.insertBefore(header, document.body.firstChild);
document.body.insertBefore(header, document.body.firstChild);