From 11d5541d6e9cf3ac4dc8648d85453d45f2179cbd Mon Sep 17 00:00:00 2001 From: Christoph Rueger Date: Wed, 8 Nov 2023 23:37:56 +0100 Subject: [PATCH 1/3] fixed section font-size small detail but section heading and selected sub-link had the same font-size. section is now bigger as it should Signed-off-by: Christoph Rueger --- docs/css/style.scss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/css/style.scss b/docs/css/style.scss index 0b3e37478e..27c04ba4ac 100644 --- a/docs/css/style.scss +++ b/docs/css/style.scss @@ -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{ From 22c1931c757cab34378be7e8d37fd53852e35c19 Mon Sep 17 00:00:00 2001 From: Christoph Rueger Date: Thu, 9 Nov 2023 00:06:45 +0100 Subject: [PATCH 2/3] Freshen up Fork me on github * source: https://github.com/tholman/github-corners/commit/e5837dfa162ba71584b6425b5c497326995b7f90 MIT License also simplified the link pointing to the github source file, to avoid javascript. just use {{page.path}} Signed-off-by: Christoph Rueger --- docs/_includes/footer.htm | 2 +- docs/_includes/github.htm | 20 ++------------------ 2 files changed, 3 insertions(+), 19 deletions(-) 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..e15fecc2e5 100644 --- a/docs/_includes/github.htm +++ b/docs/_includes/github.htm @@ -1,19 +1,3 @@ - + + -Fork me on GitHub From 0b6796ac79d23da736fc3c4a45e1bb76cc8197a3 Mon Sep 17 00:00:00 2001 From: Christoph Rueger Date: Thu, 9 Nov 2023 00:29:38 +0100 Subject: [PATCH 3/3] Just use github logo Logo source: https://github.com/logos This version is just easier. Just a little github icon - no svg, no JS. The version in the previous commit unfortunatelly had a large rectangle which didn't work good on small screens Signed-off-by: Christoph Rueger --- docs/_includes/github.htm | 22 +++++++++++++++++++--- docs/css/style.scss | 4 ++-- docs/img/github-mark.svg | 1 + 3 files changed, 22 insertions(+), 5 deletions(-) create mode 100644 docs/img/github-mark.svg 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 @@ - - - + + Fork me on GitHub 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