diff --git a/project/Build.scala b/project/Build.scala index 5d02e9870253..e3190b1051fd 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")) } 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;