change color of grey-12 color token, fix header margins, change order of switcher elements, remove border from gh link

Author: fanixus96

scaladoc/resources/dotty_res/styles/theme/colors.css

@@ -176,7 +176,7 @@
   --grey9: #706f78;
   --grey10: #7e7d86;
   --grey11: #a09fa6;
-  --grey12: #cccccc;
+  --grey12: #ededef;
 
   /* red colors */
   --red1: #1f1315;

scaladoc/resources/dotty_res/styles/theme/components/button/text-button.css

@@ -84,6 +84,7 @@ a:active {
   text-decoration: none;
   margin-bottom: calc(1 * var(--base-spacing));
   display: inline-block;
+  border-bottom: none;
 }
 
 .text-button.with-link::after {

scaladoc/resources/dotty_res/styles/theme/layout/header.css

@@ -5,7 +5,7 @@
   flex-direction: row;
   justify-content: space-between;
   align-items: center;
-  padding: calc(1.75 * var(--base-spacing)) calc(3 * var(--base-spacing));
+  padding: calc(2 * var(--base-spacing)) calc(3 * var(--base-spacing));
   position: absolute;
   height: var(--header-height);
   left: 0px;

scaladoc/src/dotty/tools/scaladoc/renderers/HtmlRenderer.scala

@@ -252,15 +252,15 @@ class HtmlRenderer(rootPackage: Member, members: Map[DRI, Member])(using ctx: Do
       div(id := "leftColumn", cls := "body-small")(
         Seq(
           div(cls:= "switcher-container")(
-            apiNavOpt match {
-              case Some(isApiActive, apiNav) =>
-                Seq(a(id := "api-nav-button", cls:= s"switcher h100 ${if isApiActive then "selected" else ""}", href := pathToPage(link.dri, rootApiPage.get.link.dri))("API"))
-              case _ => Nil
-            },
             docsNavOpt match {
               case Some(isDocsActive, docsNav) =>
                 Seq(a(id := "docs-nav-button", cls:= s"switcher h100 ${if isDocsActive then "selected" else ""}", href := pathToPage(link.dri, rootDocsPage.get.link.dri))("Docs"))
               case _ => Nil
+            },
+            apiNavOpt match {
+              case Some(isApiActive, apiNav) =>
+                Seq(a(id := "api-nav-button", cls:= s"switcher h100 ${if isApiActive then "selected" else ""}", href := pathToPage(link.dri, rootApiPage.get.link.dri))("API"))
+              case _ => Nil
             }
           ),
           apiNavOpt