diff options
| author | Maxime Locqueville <[email protected]> | 2017-05-28 18:50:53 +0200 |
|---|---|---|
| committer | Mark Otto <[email protected]> | 2017-05-28 16:15:08 -0700 |
| commit | c709ce19a5bebee1cd3f083b0e2d924eb251c729 (patch) | |
| tree | b3d0b3433b972f2464a32b412543a00f3d4a7786 /docs/_includes/header.html | |
| parent | 10ca9c6d5a74c66a3557afbd8dfb44122f46fd45 (diff) | |
| download | bootstrap-c709ce19a5bebee1cd3f083b0e2d924eb251c729.tar.xz bootstrap-c709ce19a5bebee1cd3f083b0e2d924eb251c729.zip | |
add docsearch
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 --> |