Deployed 7a1812e3 to master with MkDocs 1.1.2 and mike 0.5.5

master/extensions/api/modules/_renderer_api_theming_/index.html

@@ -852,7 +852,7 @@
 <h2 id="functions_1">Functions<a class="headerlink" href="#functions_1" title="Permanent link">#</a></h2>
 <h3 id="getactivetheme">getActiveTheme<a class="headerlink" href="#getactivetheme" title="Permanent link">#</a></h3>
 <p>▸ <strong>getActiveTheme</strong>(): <em>Theme</em></p>
-<p><em>Defined in <a href="https://github.com/lensapp/lens/blob/73724b5a/src/extensions/renderer-api/theming.ts#L3">src/extensions/renderer-api/theming.ts:3</a></em></p>
+<p><em>Defined in <a href="https://github.com/lensapp/lens/blob/7a1812e3/src/extensions/renderer-api/theming.ts#L3">src/extensions/renderer-api/theming.ts:3</a></em></p>
 <p><strong>Returns:</strong> <em>Theme</em></p>
                 
               
@@ -920,7 +920,7 @@
       <script>
         app = initialize({
           base: "../../../..",
-          features: ['navigation.instant', 'toc.autohide', 'search.suggest', 'search.highlight'],
+          features: ['toc.autohide', 'search.suggest', 'search.highlight'],
           search: Object.assign({
             worker: "../../../../assets/javascripts/worker/search.0f64ce30.min.js"
           }, typeof search !== "undefined" && search),