diff --git a/src/theme/book.css b/src/theme/book.css
index f0967be1..7a2a2922 100644
--- a/src/theme/book.css
+++ b/src/theme/book.css
@@ -151,11 +151,12 @@ table thead td {
max-width: 100%;
}
.menu-bar {
- position: relative;
height: 50px;
+ display: flex;
+ justify-content: space-between;
+ align-items: baseline;
}
.menu-bar i {
- position: relative;
margin: 0 10px;
z-index: 10;
line-height: 50px;
@@ -174,16 +175,29 @@ table thead td {
.menu-bar .right-buttons {
float: right;
}
+#searchbar {
+ border: 1px solid #BBB;
+ border-radius: 3px;
+ padding: 3px 5px;
+ width: 50px;
+ transition: width 0.5s ease-in-out;
+}
+#searchbar:focus, #searchbar:hover, #searchbar.active {
+ width: 150px;
+}
+.searchresults-header {
+ font-weight: bold;
+ font-size: 1em;
+}
+.searchresults-outer {
+ border-bottom: 1px dashed #CCC;
+ display: none;
+}
.menu-title {
- display: inline-block;
+ display: inline;
font-weight: 200;
font-size: 20px;
line-height: 50px;
- position: absolute;
- top: 0;
- left: 0;
- right: 0;
- bottom: 0;
text-align: center;
margin: 0;
opacity: 0;
@@ -924,7 +938,9 @@ table thead td {
#sidebar,
#menu-bar,
.nav-chapters,
- .mobile-nav-chapters {
+ .mobile-nav-chapters,
+ #searchbar,
+ #search-go {
display: none;
}
#page-wrapper {
diff --git a/src/theme/book.js b/src/theme/book.js
index 855e5b91..28c39879 100644
--- a/src/theme/book.js
+++ b/src/theme/book.js
@@ -38,11 +38,13 @@ $( document ).ready(function() {
var KEY_CODES = {
PREVIOUS_KEY: 37,
- NEXT_KEY: 39
+ NEXT_KEY: 39,
+ SEARCH_KEY: 83
};
$(document).on('keydown', function (e) {
if (e.altKey || e.ctrlKey || e.metaKey || e.shiftKey) { return; }
+ if ($('#searchbar').is( ":focus" )) { return; }
switch (e.keyCode) {
case KEY_CODES.NEXT_KEY:
e.preventDefault();
@@ -56,6 +58,10 @@ $( document ).ready(function() {
window.location.href = $('.nav-chapters.previous').attr('href');
}
break;
+ case KEY_CODES.SEARCH_KEY:
+ e.preventDefault();
+ $('#searchbar').focus();
+ break;
}
});
@@ -82,6 +88,81 @@ $( document ).ready(function() {
sidebar.scrollTop(activeSection.offset().top);
}
+ // For testing purposes: Index current page
+ var searchindex = create_text_searchindex();
+ var current_searchterm = "";
+ var teaser_size_half = 80;
+
+ // Searchbar
+ $("#searchbar").on('keyup', function (e) {
+ var display = $('#searchresults');
+ var outer = $("#searchresults-outer");
+
+ var searchterm = e.target.value.trim();
+ if (searchterm != "") {
+ // keep searchbar expanded
+ $(e.target).addClass("active");
+
+ // Don't search twice the same
+ if (current_searchterm == searchterm) { return; }
+ else { current_searchterm = searchterm; }
+
+ // Do the actual search
+ var results = searchindex.search(searchterm, {
+ bool: "AND",
+ expand: true
+ });
+
+ // Display search metrics
+ var searchheader = "";
+ if (results.length > 0) {
+ searchheader = results.length + " search results for '" + searchterm + "':";
+ } else if (results.length == 1) {
+ searchheader = results.length + " search result for '" + searchterm + "':";
+ } else {
+ searchheader = "No search results for '" + searchterm + "'.";
+ }
+ $('#searchresults-header').text(searchheader);
+
+ // Clear and insert results
+ var firstterm = searchterm.split(' ')[0];
+ display.empty();
+ for(var i = 0, size = results.length; i < size ; i++){
+ var result = results[i];
+ document.lsd = result.doc;
+ var firstoccurence = result.doc.body.search(firstterm);
+ var teaser = "";
+ if (firstoccurence != -1) {
+ var teaserstartindex = firstoccurence - teaser_size_half;
+ var nextwordindex = result.doc.body.indexOf(" ", teaserstartindex);
+ if (nextwordindex != -1) {
+ teaserstartindex = nextwordindex;
+ }
+ var teaserendindex = firstoccurence + teaser_size_half;
+ nextwordindex = result.doc.body.indexOf(" ", teaserendindex);
+ if (nextwordindex != -1) {
+ teaserendindex = nextwordindex;
+ }
+ teaser = (teaserstartindex > 0) ? "..." : "";
+ teaser += result.doc.body.substring(teaserstartindex, teaserendindex) + "...";
+ } else {
+ teaser = result.doc.body.substr(0, 80) + "...";
+ }
+
+ display.append('
' + result.doc.title + ': '
+ + teaser + "");
+ }
+
+ // Display and scroll to results
+ sidebar.scrollTop(0);
+ outer.slideDown();
+ } else {
+ // searchbar can shrink
+ $(e.target).removeClass("active");
+ outer.slideUp();
+ display.empty();
+ }
+ });
// Theme button
$("#theme-toggle").click(function(){
@@ -361,7 +442,7 @@ function run_rust_code(code_block) {
}
let text = playpen_text(code_block);
-
+
var params = {
channel: "stable",
mode: "debug",
@@ -392,3 +473,46 @@ function run_rust_code(code_block) {
},
});
}
+
+function create_text_searchindex() {
+ var searchindex = elasticlunr(function () {
+ this.addField('body');
+ this.addField('title');
+ this.setRef('id');
+ });
+ var content = $("#content");
+ var paragraphs = content.children();
+ var curr_title = "";
+ var curr_body = "";
+ var curr_ref = "";
+ var push = function(ref) {
+ if ((curr_title.length > 0 || curr_body.length > 0) && curr_ref.length > 0) {
+ var doc = {
+ "id": curr_ref,
+ "body": curr_body,
+ "title": curr_title
+ }
+ searchindex.addDoc(doc);
+ }
+ curr_body = "";
+ curr_title = "";
+ curr_ref = "";
+ };
+ paragraphs.each(function(index, element) {
+ // todo uppercase
+ var el = $(element);
+ if (el.prop('nodeName').toUpperCase() == "A") {
+ // new header, push old paragraph to index
+ push(index);
+ curr_title = el.text();
+ curr_ref = el.attr('href');
+ } else {
+ curr_body += " \n " + el.text();
+ }
+ // last paragraph
+ if (index == paragraphs.length - 1) {
+ push(index);
+ }
+ });
+ return searchindex;
+}
\ No newline at end of file
diff --git a/src/theme/elasticlunr.min.js b/src/theme/elasticlunr.min.js
new file mode 100644
index 00000000..94b20dd2
--- /dev/null
+++ b/src/theme/elasticlunr.min.js
@@ -0,0 +1,10 @@
+/**
+ * elasticlunr - http://weixsong.github.io
+ * Lightweight full-text search engine in Javascript for browser search and offline search. - 0.9.5
+ *
+ * Copyright (C) 2017 Oliver Nightingale
+ * Copyright (C) 2017 Wei Song
+ * MIT Licensed
+ * @license
+ */
+!function(){function e(e){if(null===e||"object"!=typeof e)return e;var t=e.constructor();for(var n in e)e.hasOwnProperty(n)&&(t[n]=e[n]);return t}var t=function(e){var n=new t.Index;return n.pipeline.add(t.trimmer,t.stopWordFilter,t.stemmer),e&&e.call(n,n),n};t.version="0.9.5",lunr=t,t.utils={},t.utils.warn=function(e){return function(t){e.console&&console.warn&&console.warn(t)}}(this),t.utils.toString=function(e){return void 0===e||null===e?"":e.toString()},t.EventEmitter=function(){this.events={}},t.EventEmitter.prototype.addListener=function(){var e=Array.prototype.slice.call(arguments),t=e.pop(),n=e;if("function"!=typeof t)throw new TypeError("last argument must be a function");n.forEach(function(e){this.hasHandler(e)||(this.events[e]=[]),this.events[e].push(t)},this)},t.EventEmitter.prototype.removeListener=function(e,t){if(this.hasHandler(e)){var n=this.events[e].indexOf(t);-1!==n&&(this.events[e].splice(n,1),0==this.events[e].length&&delete this.events[e])}},t.EventEmitter.prototype.emit=function(e){if(this.hasHandler(e)){var t=Array.prototype.slice.call(arguments,1);this.events[e].forEach(function(e){e.apply(void 0,t)},this)}},t.EventEmitter.prototype.hasHandler=function(e){return e in this.events},t.tokenizer=function(e){if(!arguments.length||null===e||void 0===e)return[];if(Array.isArray(e)){var n=e.filter(function(e){return null===e||void 0===e?!1:!0});n=n.map(function(e){return t.utils.toString(e).toLowerCase()});var i=[];return n.forEach(function(e){var n=e.split(t.tokenizer.seperator);i=i.concat(n)},this),i}return e.toString().trim().toLowerCase().split(t.tokenizer.seperator)},t.tokenizer.defaultSeperator=/[\s\-]+/,t.tokenizer.seperator=t.tokenizer.defaultSeperator,t.tokenizer.setSeperator=function(e){null!==e&&void 0!==e&&"object"==typeof e&&(t.tokenizer.seperator=e)},t.tokenizer.resetSeperator=function(){t.tokenizer.seperator=t.tokenizer.defaultSeperator},t.tokenizer.getSeperator=function(){return t.tokenizer.seperator},t.Pipeline=function(){this._queue=[]},t.Pipeline.registeredFunctions={},t.Pipeline.registerFunction=function(e,n){n in t.Pipeline.registeredFunctions&&t.utils.warn("Overwriting existing registered function: "+n),e.label=n,t.Pipeline.registeredFunctions[n]=e},t.Pipeline.getRegisteredFunction=function(e){return e in t.Pipeline.registeredFunctions!=!0?null:t.Pipeline.registeredFunctions[e]},t.Pipeline.warnIfFunctionNotRegistered=function(e){var n=e.label&&e.label in this.registeredFunctions;n||t.utils.warn("Function is not registered with pipeline. This may cause problems when serialising the index.\n",e)},t.Pipeline.load=function(e){var n=new t.Pipeline;return e.forEach(function(e){var i=t.Pipeline.getRegisteredFunction(e);if(!i)throw new Error("Cannot load un-registered function: "+e);n.add(i)}),n},t.Pipeline.prototype.add=function(){var e=Array.prototype.slice.call(arguments);e.forEach(function(e){t.Pipeline.warnIfFunctionNotRegistered(e),this._queue.push(e)},this)},t.Pipeline.prototype.after=function(e,n){t.Pipeline.warnIfFunctionNotRegistered(n);var i=this._queue.indexOf(e);if(-1===i)throw new Error("Cannot find existingFn");this._queue.splice(i+1,0,n)},t.Pipeline.prototype.before=function(e,n){t.Pipeline.warnIfFunctionNotRegistered(n);var i=this._queue.indexOf(e);if(-1===i)throw new Error("Cannot find existingFn");this._queue.splice(i,0,n)},t.Pipeline.prototype.remove=function(e){var t=this._queue.indexOf(e);-1!==t&&this._queue.splice(t,1)},t.Pipeline.prototype.run=function(e){for(var t=[],n=e.length,i=this._queue.length,o=0;n>o;o++){for(var r=e[o],s=0;i>s&&(r=this._queue[s](r,o,e),void 0!==r&&null!==r);s++);void 0!==r&&null!==r&&t.push(r)}return t},t.Pipeline.prototype.reset=function(){this._queue=[]},t.Pipeline.prototype.get=function(){return this._queue},t.Pipeline.prototype.toJSON=function(){return this._queue.map(function(e){return t.Pipeline.warnIfFunctionNotRegistered(e),e.label})},t.Index=function(){this._fields=[],this._ref="id",this.pipeline=new t.Pipeline,this.documentStore=new t.DocumentStore,this.index={},this.eventEmitter=new t.EventEmitter,this._idfCache={},this.on("add","remove","update",function(){this._idfCache={}}.bind(this))},t.Index.prototype.on=function(){var e=Array.prototype.slice.call(arguments);return this.eventEmitter.addListener.apply(this.eventEmitter,e)},t.Index.prototype.off=function(e,t){return this.eventEmitter.removeListener(e,t)},t.Index.load=function(e){e.version!==t.version&&t.utils.warn("version mismatch: current "+t.version+" importing "+e.version);var n=new this;n._fields=e.fields,n._ref=e.ref,n.documentStore=t.DocumentStore.load(e.documentStore),n.pipeline=t.Pipeline.load(e.pipeline),n.index={};for(var i in e.index)n.index[i]=t.InvertedIndex.load(e.index[i]);return n},t.Index.prototype.addField=function(e){return this._fields.push(e),this.index[e]=new t.InvertedIndex,this},t.Index.prototype.setRef=function(e){return this._ref=e,this},t.Index.prototype.saveDocument=function(e){return this.documentStore=new t.DocumentStore(e),this},t.Index.prototype.addDoc=function(e,n){if(e){var n=void 0===n?!0:n,i=e[this._ref];this.documentStore.addDoc(i,e),this._fields.forEach(function(n){var o=this.pipeline.run(t.tokenizer(e[n]));this.documentStore.addFieldLength(i,n,o.length);var r={};o.forEach(function(e){e in r?r[e]+=1:r[e]=1},this);for(var s in r){var u=r[s];u=Math.sqrt(u),this.index[n].addToken(s,{ref:i,tf:u})}},this),n&&this.eventEmitter.emit("add",e,this)}},t.Index.prototype.removeDocByRef=function(e){if(e&&this.documentStore.isDocStored()!==!1&&this.documentStore.hasDoc(e)){var t=this.documentStore.getDoc(e);this.removeDoc(t,!1)}},t.Index.prototype.removeDoc=function(e,n){if(e){var n=void 0===n?!0:n,i=e[this._ref];this.documentStore.hasDoc(i)&&(this.documentStore.removeDoc(i),this._fields.forEach(function(n){var o=this.pipeline.run(t.tokenizer(e[n]));o.forEach(function(e){this.index[n].removeToken(e,i)},this)},this),n&&this.eventEmitter.emit("remove",e,this))}},t.Index.prototype.updateDoc=function(e,t){var t=void 0===t?!0:t;this.removeDocByRef(e[this._ref],!1),this.addDoc(e,!1),t&&this.eventEmitter.emit("update",e,this)},t.Index.prototype.idf=function(e,t){var n="@"+t+"/"+e;if(Object.prototype.hasOwnProperty.call(this._idfCache,n))return this._idfCache[n];var i=this.index[t].getDocFreq(e),o=1+Math.log(this.documentStore.length/(i+1));return this._idfCache[n]=o,o},t.Index.prototype.getFields=function(){return this._fields.slice()},t.Index.prototype.search=function(e,n){if(!e)return[];e="string"==typeof e?{any:e}:JSON.parse(JSON.stringify(e));var i=null;null!=n&&(i=JSON.stringify(n));for(var o=new t.Configuration(i,this.getFields()).get(),r={},s=Object.keys(e),u=0;u0&&t.push(e);for(var i in n)"docs"!==i&&"df"!==i&&this.expandToken(e+i,t,n[i]);return t},t.InvertedIndex.prototype.toJSON=function(){return{root:this.root}},t.Configuration=function(e,n){var e=e||"";if(void 0==n||null==n)throw new Error("fields should not be null");this.config={};var i;try{i=JSON.parse(e),this.buildUserConfig(i,n)}catch(o){t.utils.warn("user configuration parse failed, will use default configuration"),this.buildDefaultConfig(n)}},t.Configuration.prototype.buildDefaultConfig=function(e){this.reset(),e.forEach(function(e){this.config[e]={boost:1,bool:"OR",expand:!1}},this)},t.Configuration.prototype.buildUserConfig=function(e,n){var i="OR",o=!1;if(this.reset(),"bool"in e&&(i=e.bool||i),"expand"in e&&(o=e.expand||o),"fields"in e)for(var r in e.fields)if(n.indexOf(r)>-1){var s=e.fields[r],u=o;void 0!=s.expand&&(u=s.expand),this.config[r]={boost:s.boost||0===s.boost?s.boost:1,bool:s.bool||i,expand:u}}else t.utils.warn("field name in user configuration not found in index instance fields");else this.addAllFields2UserConfig(i,o,n)},t.Configuration.prototype.addAllFields2UserConfig=function(e,t,n){n.forEach(function(n){this.config[n]={boost:1,bool:e,expand:t}},this)},t.Configuration.prototype.get=function(){return this.config},t.Configuration.prototype.reset=function(){this.config={}},lunr.SortedSet=function(){this.length=0,this.elements=[]},lunr.SortedSet.load=function(e){var t=new this;return t.elements=e,t.length=e.length,t},lunr.SortedSet.prototype.add=function(){var e,t;for(e=0;e1;){if(r===e)return o;e>r&&(t=o),r>e&&(n=o),i=n-t,o=t+Math.floor(i/2),r=this.elements[o]}return r===e?o:-1},lunr.SortedSet.prototype.locationFor=function(e){for(var t=0,n=this.elements.length,i=n-t,o=t+Math.floor(i/2),r=this.elements[o];i>1;)e>r&&(t=o),r>e&&(n=o),i=n-t,o=t+Math.floor(i/2),r=this.elements[o];return r>e?o:e>r?o+1:void 0},lunr.SortedSet.prototype.intersect=function(e){for(var t=new lunr.SortedSet,n=0,i=0,o=this.length,r=e.length,s=this.elements,u=e.elements;;){if(n>o-1||i>r-1)break;s[n]!==u[i]?s[n]u[i]&&i++:(t.add(s[n]),n++,i++)}return t},lunr.SortedSet.prototype.clone=function(){var e=new lunr.SortedSet;return e.elements=this.toArray(),e.length=e.elements.length,e},lunr.SortedSet.prototype.union=function(e){var t,n,i;this.length>=e.length?(t=this,n=e):(t=e,n=this),i=t.clone();for(var o=0,r=n.toArray();o
+
+
+
+
@@ -68,6 +76,11 @@
@@ -78,6 +91,8 @@
+
+
@@ -138,7 +153,7 @@