diff --git a/docs/_includes/footer.htm b/docs/_includes/footer.htm index e31df67b59..1417b17920 100644 --- a/docs/_includes/footer.htm +++ b/docs/_includes/footer.htm @@ -6,7 +6,7 @@
diff --git a/docs/_includes/github.htm b/docs/_includes/github.htm index ea1afec6b0..dd8b52e328 100644 --- a/docs/_includes/github.htm +++ b/docs/_includes/github.htm @@ -1,19 +1,19 @@ - - - + + diff --git a/docs/css/style.scss b/docs/css/style.scss index 0b3e37478e..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; @@ -122,9 +122,7 @@ $color-vignette: #F0F0F0; .selected { &:before { content: "\25B7\00A0"; } - font-weight: bolder; color: $secondary-color; - font-size: 1.05em; } embed.illustration { @@ -193,6 +191,7 @@ ul.side-nav{ ul .side-nav-section{ color: #720F10; font-weight: bold; + font-size: 1.05em; } .side-nav{ 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