From 103019cd5966fc8d1074906959ffb3f38a471d91 Mon Sep 17 00:00:00 2001 From: Wang Shidong Date: Mon, 4 Jun 2018 21:33:12 +0800 Subject: [PATCH] Add Search box to the website (#1789) --- docs/_layouts/default.html | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index d68762147..fe8211f29 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -72,7 +72,8 @@ {% if page.lang == "cn" %}
-

{{ site.description | default: site.github.project_tagline }}

+

{{ site.description | default: site.github.project_tagline }} +


主页 | @@ -86,7 +87,8 @@

{% else %}
-

{{ site.description | default: site.github.project_tagline }}

+

{{ site.description | default: site.github.project_tagline }} +


Home | @@ -144,11 +146,13 @@ document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.

网站源码位于 Github, 帮助改进本页面 — 网站主题: mattgraham, +

{% else %}

- Hosted on GitHub, Help improve this page — Theme by mattgraham, + Hosted on GitHub, Help improve this page — Theme by mattgraham, +

{% endif %}