From d4e68f8b7b763f5108488503eff3319744def214 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Filip=20Zyba=C5=82a?= Date: Fri, 20 May 2022 12:01:26 +0200 Subject: [PATCH 1/2] Fix source link to point to language-reference-stable branch instead of specific commit --- project/Build.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project/Build.scala b/project/Build.scala index c15a56fa7ec5..135a4045f6ae 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -1416,7 +1416,7 @@ object Build { .add(ProjectVersion("3.1.2")) // TODO: Change that later to the current version tag. (This must happen on first forward this branch to stable release tag) .remove[VersionsDictionaryUrl] .add(SourceLinks(List( - dottySrcLink("language-reference-stable", temp.getAbsolutePath + "=") + s"${temp.getAbsolutePath}=github://lampepfl/dotty/language-reference-stable" ))) .withTargets(List("___fake___.scala")) } From 834f80964a835102d0a2c6a18f4715b28e0123a6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Filip=20Zyba=C5=82a?= Date: Fri, 20 May 2022 12:34:54 +0200 Subject: [PATCH 2/2] Fix table-of-contents height to not overlap footer --- scaladoc/resources/dotty_res/styles/scalastyle.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scaladoc/resources/dotty_res/styles/scalastyle.css b/scaladoc/resources/dotty_res/styles/scalastyle.css index f1458dbe17d6..62abf675779f 100644 --- a/scaladoc/resources/dotty_res/styles/scalastyle.css +++ b/scaladoc/resources/dotty_res/styles/scalastyle.css @@ -917,7 +917,7 @@ footer .socials { right: 0px; top: 0px; width: var(--toc-width); - height: 100%; + height: calc(100% - var(--footer-height)); padding-top: 15vh; padding-right: 10px;