From 1f51d1cd32a92cd16669a8b75b12d25a0236489d Mon Sep 17 00:00:00 2001 From: Lucas Date: Mon, 27 Feb 2023 15:04:59 +0100 Subject: [PATCH 1/2] Reduction of the padding top in mobile version #16833 --- scaladoc/resources/dotty_res/styles/theme/layout/content.css | 1 + 1 file changed, 1 insertion(+) diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/content.css b/scaladoc/resources/dotty_res/styles/theme/layout/content.css index e09aa2697762..1c1554c8a75d 100644 --- a/scaladoc/resources/dotty_res/styles/theme/layout/content.css +++ b/scaladoc/resources/dotty_res/styles/theme/layout/content.css @@ -91,6 +91,7 @@ @media (max-width: 768px) { #content { + padding-top: calc(5 * var(--base-spacing)); padding-bottom: calc(6 * var(--base-spacing)); } From 0d663477f0f08afadf4fa427c018b2354ac16f04 Mon Sep 17 00:00:00 2001 From: Lucas Date: Mon, 27 Feb 2023 15:49:25 +0100 Subject: [PATCH 2/2] Correction of the value --- scaladoc/resources/dotty_res/styles/theme/layout/content.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/content.css b/scaladoc/resources/dotty_res/styles/theme/layout/content.css index 1c1554c8a75d..e46e66cba9e5 100644 --- a/scaladoc/resources/dotty_res/styles/theme/layout/content.css +++ b/scaladoc/resources/dotty_res/styles/theme/layout/content.css @@ -91,7 +91,7 @@ @media (max-width: 768px) { #content { - padding-top: calc(5 * var(--base-spacing)); + padding-top: calc(10 * var(--base-spacing)); padding-bottom: calc(6 * var(--base-spacing)); }