Minor changes to footer
authorNick Downing <nick.downing@lifx.co>
Sun, 15 Mar 2020 02:49:54 +0000 (13:49 +1100)
committerNick Downing <nick.downing@lifx.co>
Sun, 15 Mar 2020 02:49:54 +0000 (13:49 +1100)
css/bootstrap/custom.less
navbar.jst
sphinx.dir.jst

index 1b3e006..febc7b0 100644 (file)
@@ -67,7 +67,8 @@
 }
 
 .footer {
-  padding: 20px;
+  padding-top: 35px;
+  padding-bottom: 25px;
   background-color: @gray-light2;
   a {
     color: @footer-link-color;
index 1a2dc14..305961c 100644 (file)
@@ -99,7 +99,6 @@ return async (env, head, body) => {
       }
       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") {}
           }
@@ -115,7 +114,7 @@ return async (env, head, body) => {
             '.'
           }
 
-          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.`}
         }
index 0441cfb..39baefb 100644 (file)
@@ -11,7 +11,7 @@ let serve_html = async (env, pathname) => {
   }
 
   // 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
@@ -33,12 +33,14 @@ let serve_html = async (env, pathname) => {
       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