Updated docs

2021-07-23 06:11:29 -07:00
parent e95c096784
commit 666b6cac33
20 changed files with 4556 additions and 1765 deletions
--- a/docs/_static/searchtools.js
+++ b/docs/_static/searchtools.js
@@ -509,7 +509,7 @@ var Search = {
    var excerpt = ((start > 0) ? '...' : '') +
      $.trim(text.substr(start, 240)) +
      ((start + 240 - text.length) ? '...' : '');
-    var rv = $('<div class="context"></div>').text(excerpt);
+    var rv = $('<p class="context"></p>').text(excerpt);
    $.each(hlwords, function() {
      rv = rv.highlightText(this, 'highlighted');
    });