From 4fe24da47c4965c37f97e083bf806360f21404df Mon Sep 17 00:00:00 2001 From: Lukas Oppermann Date: Sat, 29 Dec 2018 17:58:46 +0100 Subject: [PATCH 1/7] Adding bottom to toc This fixed the toc which is otherwise cut off at the bottom in chrome at least. --- style.css | 1 + 1 file changed, 1 insertion(+) diff --git a/style.css b/style.css index 80a674edb9..7942a98f7f 100644 --- a/style.css +++ b/style.css @@ -333,6 +333,7 @@ footer { #toc { position: fixed; left: 1%; + bottom: 1%; max-width: calc(48% - 450px); font-size: 80%; opacity: .3; From 1ac7b97c548a3deef6e75fdcc5fd69be8bd52c92 Mon Sep 17 00:00:00 2001 From: Lukas Oppermann Date: Thu, 3 Jan 2019 15:19:31 +0100 Subject: [PATCH 2/7] Another solution to fix navigation --- style.css | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/style.css b/style.css index 7942a98f7f..758e84082d 100644 --- a/style.css +++ b/style.css @@ -336,7 +336,11 @@ footer { bottom: 1%; max-width: calc(48% - 450px); font-size: 80%; - opacity: .3; + z-index: 999; + background: rgb(255, 255, 255); + color: rgba(0,0,0,.5); + padding: 0 15px 10px; + border-radius: 3px; } @media (max-width: 1200px) { @@ -351,6 +355,7 @@ footer { #toc h1 { font-size: 180%; + margin-top: .75rem; } #toc li { From bfd808a774da37da48fa03438c9102344cde9ff9 Mon Sep 17 00:00:00 2001 From: Lukas Oppermann Date: Thu, 3 Jan 2019 15:56:14 +0100 Subject: [PATCH 3/7] Fixed issues form comment --- style.css | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/style.css b/style.css index 758e84082d..6fc40aee3e 100644 --- a/style.css +++ b/style.css @@ -206,7 +206,7 @@ header { float: left; margin-left: -.8em; color: #7fab14; - font-size: 400%; + font-size: 300%; line-height: 1; } @@ -332,15 +332,17 @@ footer { #toc { position: fixed; - left: 1%; - bottom: 1%; - max-width: calc(48% - 450px); + left: 0; + bottom: 15px; + max-width: calc(48% - 450px - 30px); font-size: 80%; z-index: 999; - background: rgb(255, 255, 255); + background: white; color: rgba(0,0,0,.5); - padding: 0 15px 10px; - border-radius: 3px; + padding: 0 10px 10px; + border-top-right-radius: 3px; + border-bottom-right-radius: 3px; + box-sizing: border-box; } @media (max-width: 1200px) { From e5f72455c540bf05d22c377896ec0057f30f8c6d Mon Sep 17 00:00:00 2001 From: Lukas Oppermann Date: Thu, 3 Jan 2019 18:49:25 +0100 Subject: [PATCH 4/7] Fixes according to comments --- style.css | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/style.css b/style.css index 6fc40aee3e..d7625330e7 100644 --- a/style.css +++ b/style.css @@ -332,16 +332,14 @@ footer { #toc { position: fixed; - left: 0; bottom: 15px; - max-width: calc(48% - 450px - 30px); + max-width: calc(50% - 450px - 40px); font-size: 80%; z-index: 999; background: white; color: rgba(0,0,0,.5); padding: 0 10px 10px; - border-top-right-radius: 3px; - border-bottom-right-radius: 3px; + border-radius: 0 3px 3px 0; box-sizing: border-box; } From f3db870874a8306d3434d5ce9b9f71ca0788121e Mon Sep 17 00:00:00 2001 From: Lukas Oppermann Date: Thu, 3 Jan 2019 19:06:57 +0100 Subject: [PATCH 5/7] Update style.css --- style.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/style.css b/style.css index d7625330e7..64f79af69e 100644 --- a/style.css +++ b/style.css @@ -206,7 +206,7 @@ header { float: left; margin-left: -.8em; color: #7fab14; - font-size: 300%; + font-size: 400%; line-height: 1; } @@ -350,7 +350,7 @@ footer { } #toc:hover { - opacity: 1; + color: rgba(0,0,0,1); } #toc h1 { From deffe8ddd079ec8a97cd505934a6dbaf8752a4d8 Mon Sep 17 00:00:00 2001 From: Lukas Oppermann Date: Thu, 3 Jan 2019 19:24:13 +0100 Subject: [PATCH 6/7] Changed color to black --- faq.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/faq.html b/faq.html index ae32cb68e1..8d5da68472 100644 --- a/faq.html +++ b/faq.html @@ -13,7 +13,7 @@ position: static; max-width: 900px; font-size: 100%; - opacity: 1; + color: black; } @@ -179,4 +179,4 @@

How can I use different highlighting for tokens with the same name in differ - \ No newline at end of file + From 888c389273b62782b84585e3f37d1bf3abea4c07 Mon Sep 17 00:00:00 2001 From: Lukas Oppermann Date: Thu, 3 Jan 2019 19:24:56 +0100 Subject: [PATCH 7/7] Update faq.html