From a119ad059b589add95307653e0c2a46116c1b3bc Mon Sep 17 00:00:00 2001 From: Lucas Date: Tue, 28 Feb 2023 16:35:21 +0100 Subject: [PATCH 1/2] Fix: responsive version --- scaladoc/resources/dotty_res/styles/theme/layout/header.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/header.css b/scaladoc/resources/dotty_res/styles/theme/layout/header.css index 2e33023d0701..3e0871dab77a 100644 --- a/scaladoc/resources/dotty_res/styles/theme/layout/header.css +++ b/scaladoc/resources/dotty_res/styles/theme/layout/header.css @@ -72,7 +72,7 @@ overflow: hidden; white-space: nowrap; text-overflow: ellipsis; - width: calc(9 * var(--base-spacing)); + width: auto; } .single { @@ -103,6 +103,10 @@ #search-toggle { display: none; } + + .projectVersion{ + width: calc(9 * var(--base-spacing)); + } } From fab9bd4a2a7e11e32bdeb4e5776f6bec062eada0 Mon Sep 17 00:00:00 2001 From: Lucas Date: Wed, 1 Mar 2023 11:07:51 +0100 Subject: [PATCH 2/2] Correction responsive value --- scaladoc/resources/dotty_res/styles/theme/layout/header.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/header.css b/scaladoc/resources/dotty_res/styles/theme/layout/header.css index 3e0871dab77a..cf3b91db2698 100644 --- a/scaladoc/resources/dotty_res/styles/theme/layout/header.css +++ b/scaladoc/resources/dotty_res/styles/theme/layout/header.css @@ -105,7 +105,7 @@ } .projectVersion{ - width: calc(9 * var(--base-spacing)); + max-width: calc(12 * var(--base-spacing)); } }