diff --git a/docs/_includes/github.htm b/docs/_includes/github.htm
index e15fecc2e5..dd8b52e328 100644
--- a/docs/_includes/github.htm
+++ b/docs/_includes/github.htm
@@ -1,3 +1,19 @@
-
-
-
+
+
diff --git a/docs/css/style.scss b/docs/css/style.scss
index 27c04ba4ac..c4911fe274 100644
--- a/docs/css/style.scss
+++ b/docs/css/style.scss
@@ -91,7 +91,7 @@ $color-vignette: #F0F0F0;
.search-container {
width: 100%;
input[type=text] {
- width: calc(100% - 40px);
+ width: calc(100% - 65px);
padding: 6px;
margin-top: 8px;
border: none;
@@ -102,7 +102,7 @@ $color-vignette: #F0F0F0;
width: 32px;
padding: 6px 10px;
margin-top: 8px;
- margin-right: 0px;
+ margin-right: 28px;
background: #ddd;
border: none;
border-radius: 4px;
diff --git a/docs/img/github-mark.svg b/docs/img/github-mark.svg
new file mode 100644
index 0000000000..37fa923df3
--- /dev/null
+++ b/docs/img/github-mark.svg
@@ -0,0 +1 @@
+
\ No newline at end of file