diff --git a/docs/css/prettify.css b/docs/css/prettify.css index eb11a34a..d4f5c569 100644 --- a/docs/css/prettify.css +++ b/docs/css/prettify.css @@ -36,7 +36,6 @@ /* Style */ pre.prettyprint { font-family: Menlo, Monaco, Consolas, monospace; - font-size: 12px; line-height: 1.5; padding: 10px; } diff --git a/docs/js/search.js b/docs/js/search.js index 919ab588..84d60165 100644 --- a/docs/js/search.js +++ b/docs/js/search.js @@ -5,7 +5,7 @@ * Licensed under MIT license. * Modified to require a minimum number of characters before searching *//* eslint-disable */ -;jQuery.extend({highlight:function(a,c,b,d,f) {if(3===a.nodeType) {if(c=a.data.match(c))return b=document.createElement(b||"span"),b.className=d||"highlight",a=a.splitText(c.index),a.splitText(c[0].length),d=a.cloneNode(!0),b.appendChild(d),a.parentNode.replaceChild(b,a),1}else if(1===a.nodeType&&a.childNodes&&!/(script|style)/i.test(a.tagName)&&1>$(a).closest(f).length&&(a.tagName!==b.toUpperCase()||a.className!==d))for(var e=0;e= 3",message:function(a) {console&&console.log&&console.log(a)}},b=jQuery.extend(b,c);a.constructor===String&&(a=0$(a).closest(f).length&&(a.tagName!==b.toUpperCase()||a.className!==d))for(var e=0;e