diff --git a/.nojekyll b/.nojekyll index 33e28ed..2209f86 100644 --- a/.nojekyll +++ b/.nojekyll @@ -1 +1 @@ -a647382b \ No newline at end of file +af2ff66f \ No newline at end of file diff --git a/01_intro.html b/01_intro.html index cdc2d7d..0b3bfd3 100644 --- a/01_intro.html +++ b/01_intro.html @@ -2,7 +2,7 @@ - + @@ -47,7 +47,13 @@ "collapse-after": 3, "panel-placement": "start", "type": "textbox", - "limit": 20, + "limit": 50, + "keyboard-shortcut": [ + "f", + "/", + "s" + ], + "show-item-context": false, "language": { "search-no-results-text": "No results", "search-matching-documents-text": "matching documents", @@ -56,6 +62,7 @@ "search-more-match-text": "more match in this document", "search-more-matches-text": "more matches in this document", "search-clear-button-title": "Clear", + "search-text-placeholder": "", "search-detached-cancel-button-title": "Cancel", "search-submit-button-title": "Submit", "search-label": "Search" @@ -65,6 +72,33 @@ + + @@ -74,12 +108,12 @@