}
div.footer(style="padding-left: calc(100vw - 100%);") {
div.container { //-fluid") {
- div(style="height: 16px;") {}
a(rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/") {
img(alt="Creative Commons License" style="border-width:0" src="/images/by-sa_3.0_88x31.png") {}
}
'.'
}
- p {'Code samples within the page are placed in the public domain unless otherwise noted.'}
+ p {'Example code fragments embedded within the text are placed in the public domain unless otherwise noted.'}
p {`Copyright © ${new XDate().getUTCFullYear()} Integration Logic Pty Ltd trading as NDCODE and contributors.`}
}
}
// try to extract head before/after stylesheet and body
- match = data.toString().match(/^<!DOCTYPE html><html xmlns="http:\/\/www\.w3\.org\/1999\/xhtml"><head><meta charset="utf-8">([^]*)<link rel="stylesheet" href="_static\/classic\.css" type="text\/css"><link rel="stylesheet" href="_static\/pygments\.css" type="text\/css"><script id="documentation_options" data-url_root="\.\/" src="_static\/documentation_options\.js"><\/script><script src="_static\/jquery\.js"><\/script><script src="_static\/underscore\.js"><\/script><script src="_static\/doctools\.js"><\/script><script src="_static\/language_data\.js"><\/script>([^]*)<\/head><body>([^]*)<\/body><\/html>\n?$/)
+ match = data.toString().match(/^<!DOCTYPE html><html xmlns="http:\/\/www\.w3\.org\/1999\/xhtml"><head><meta charset="utf-8">([^]*)<link rel="stylesheet" href="_static\/classic\.css" type="text\/css"><link rel="stylesheet" href="_static\/pygments\.css" type="text\/css"><script id="documentation_options" data-url_root="\.\/" src="_static\/documentation_options\.js"><\/script><script src="_static\/jquery\.js"><\/script><script src="_static\/underscore\.js"><\/script><script src="_static\/doctools\.js"><\/script><script src="_static\/language_data\.js"><\/script>(<script src="_static\/searchtools\.js"><\/script>)?([^]*)<\/head><body>([^]*)<\/body><\/html>\n?$/)
//console.log('match', match)
if (match === null) {
// not found, just serve the HTML as fallback
script(src="/js/sphinx/underscore.js") {}
script(src="/js/sphinx/doctools.js") {}
script(src="/js/sphinx/language_data.js") {}
- _out.push(match[2])
+ if (match[2] !== undefined)
+ script(src="/js/sphinx/searchtools.js") {}
+ _out.push(match[3])
},
// body
async _out => {
div.sphinx {
- _out.push(match[3])
+ _out.push(match[4])
}
},
// scripts