diff --git a/docs/theme/docker/layout.html b/docs/theme/docker/layout.html index 9b3f565637..91c561235c 100755 --- a/docs/theme/docker/layout.html +++ b/docs/theme/docker/layout.html @@ -110,6 +110,13 @@ @@ -121,6 +128,26 @@ {% block body %}{% endblock %} + +
+ + diff --git a/docs/theme/docker/static/css/main.css b/docs/theme/docker/static/css/main.css index fc1fd4886d..43ec37cfcd 100755 --- a/docs/theme/docker/static/css/main.css +++ b/docs/theme/docker/static/css/main.css @@ -391,3 +391,21 @@ dt:hover > a.headerlink { float: right; visibility: hidden; } + +/* Swiftype style */ + +#st-search-input { + margin-right: 14px; + margin-left: 9px; + height: 19px; + width: 120px; + +} +#swiftype-img { + border: none; + width: 145px; + height: auto; + margin: 0px auto; + margin-left: 13px; + margin-top: -30px; +} \ No newline at end of file