diff options
author | 2019-07-24 16:54:46 +0200 | |
---|---|---|
committer | 2019-07-24 16:54:46 +0200 | |
commit | 71419439f4c2a568d40a3d8aacb5158b92cf9e89 (patch) | |
tree | bed981a8ff7ef05be9c9880fe01d40456f3fe595 /site/_includes/head.html | |
parent | 9ea14f3a7a630dac222945a5ccbad48718b95835 (diff) | |
parent | 6661781fbadd5fdccfc3df40c1cb5da79a18b235 (diff) |
Merge pull request #9 from automotive-grade-linux/jsm-search
Use a google custom search
Diffstat (limited to 'site/_includes/head.html')
-rw-r--r-- | site/_includes/head.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/_includes/head.html b/site/_includes/head.html index fb81bfa..d82765c 100644 --- a/site/_includes/head.html +++ b/site/_includes/head.html @@ -40,7 +40,7 @@ <link rel="stylesheet" type="text/css" href="{{ site.baseurl }}/static/styles/main.css"> <link rel="stylesheet" type="text/css" href="{{ site.baseurl }}/static/styles/syntax.css"> <!-- Algolia Search CSS --> - <link rel="stylesheet" href="https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.css" /> + <!-- <link rel="stylesheet" href="https://cdn.jsdelivr.net/docsearch.js/2/docsearch.min.css" /> --> <!-- Fonts --> <!-- For attribution information, see www/attributions.html --> |