diff options
| author | Mark Otto <[email protected]> | 2017-07-04 13:24:51 -0700 |
|---|---|---|
| committer | Mark Otto <[email protected]> | 2017-07-04 13:24:51 -0700 |
| commit | bf63d052c0d4afeb8b5e8fdf4ff376e3dd75bbd0 (patch) | |
| tree | 0bf12f5e050469f5dd202d1e88cc2a0757c3bd3c /docs/_includes/header.html | |
| parent | 4bf6d7cb29073296e68a1e0bb59d122e9e95e17e (diff) | |
| download | bootstrap-bf63d052c0d4afeb8b5e8fdf4ff376e3dd75bbd0.tar.xz bootstrap-bf63d052c0d4afeb8b5e8fdf4ff376e3dd75bbd0.zip | |
stub out docsearch additions
Diffstat (limited to 'docs/_includes/header.html')
| -rw-r--r-- | docs/_includes/header.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/_includes/header.html b/docs/_includes/header.html index bf90dc408..d7077f9a0 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -28,6 +28,10 @@ {% endif %} {% endif %} +{% if page.slug == "getting-started" or page.slug == "css" or page.slug == "components" or page.slug == "js" %} + <link rel="stylesheet" href="https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.css"> +{% endif %} + <!-- Documentation extras --> {% if site.github %} <link href="{{ site.baseurl }}/assets/css/docs.min.css" rel="stylesheet"> |