Make the logo redirect to root

Author: TheElectronWill

scala3doc/resources/dotty_res/scripts/ux.js

@@ -1,10 +1,16 @@
 window.addEventListener("DOMContentLoaded", () => {
-  var e = document.getElementById("leftToggler");
-  if (e) {
-    e.onclick = function () {
+  var toggler = document.getElementById("leftToggler");
+  if (toggler) {
+    toggler.onclick = function () {
       document.getElementById("leftColumn").classList.toggle("open");
     };
   }
+  var logo = document.getElementById("logo");
+  if (logo) {
+    logo.onclick = function() {
+      window.location = pathToRoot; // global variable pathToRoot is created by the html renderer
+    };
+  }
   hljs.registerLanguage("scala", highlightDotty);
   hljs.registerAliases(["dotty", "scala3"], "scala");
   hljs.initHighlighting();

scala3doc/resources/dotty_res/styles/scalastyle.css

@@ -132,6 +132,7 @@ th {
   background-origin: content-box;
   padding: 8px 0 8px 16px;
   height: 42px;
+  cursor: pointer;
 }
 #logo::after {
   color: var(--leftbar-fg);