diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 3832031f8..94a842139 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -6,9 +6,12 @@ + + + - + {% if page.lang == "zh" %}