diff options
Diffstat (limited to 'docs/_includes/header.html')
| -rw-r--r-- | docs/_includes/header.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/_includes/header.html b/docs/_includes/header.html index 57415be54..fd9a9a28c 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -19,6 +19,9 @@ {% endif %} <!-- Documentation extras --> +{% if page.layout == "docs" %} +<link rel="stylesheet" href="https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.css" /> +{% endif %} <link href="{{ site.baseurl }}/assets/css/docs.min.css" rel="stylesheet"> <!-- Favicons --> |