Merge pull request #15252 from lampepfl/language-reference-backport

prolativ · web-flow · commit 51308c9c8076 · 2022-05-25T09:48:17.000+02:00
Backport changes from stable documentation branch
diff --git 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
@@ -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;

Original file line number	Diff line number	Diff line change
`@@ -1416,7 +1416,7 @@ object Build {`
`1416`	`1416`	`.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)`
`1417`	`1417`	`.remove[VersionsDictionaryUrl]`
`1418`	`1418`	`.add(SourceLinks(List(`
`1419`		`- dottySrcLink("language-reference-stable", temp.getAbsolutePath + "=")`
	`1419`	`+ s"${temp.getAbsolutePath}=github://lampepfl/dotty/language-reference-stable"`
`1420`	`1420`	`)))`
`1421`	`1421`	`.withTargets(List("___fake___.scala"))`
`1422`	`1422`	`}`