aboutsummaryrefslogtreecommitdiffstats
path: root/site/_includes/head.html
diff options
context:
space:
mode:
authorJan-Simon Möller <dl9pf@gmx.de>2019-07-24 16:54:46 +0200
committerGitHub <noreply@github.com>2019-07-24 16:54:46 +0200
commit71419439f4c2a568d40a3d8aacb5158b92cf9e89 (patch)
treebed981a8ff7ef05be9c9880fe01d40456f3fe595 /site/_includes/head.html
parent9ea14f3a7a630dac222945a5ccbad48718b95835 (diff)
parent6661781fbadd5fdccfc3df40c1cb5da79a18b235 (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.html2
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 -->