minor styles changes:

spacings, fonts, toc, github edit button

Author: jdudrak

docs/_layouts/doc-page.html

@@ -5,9 +5,7 @@
 <main>
   <header>
     {% if urls.editSource %}
-    <a class="text-button with-link body-small" href="{{ urls.editSource }}">
-      Edit this page on GitHub
-    </a>
+    <a class="text-button with-link body-small" href="{{ urls.editSource }}">Edit this page on GitHub</a>
     {% endif %}
     <h1 class="h600">{{ page.title }}</h1>
   </header>

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

@@ -44,7 +44,8 @@ a:active {
 }
 
 .text-button::after {
-  margin-left: calc(1 * var(--base-spacing));
+  margin-left: calc(.5 * var(--base-spacing));
+  vertical-align: bottom;
 }
 
 /* button with arrow */

scaladoc/resources/dotty_res/styles/theme/components/code-snippet.css

@@ -16,14 +16,16 @@
 .snippet pre {
   margin: 0;
   line-height: 20px;
-  font-family: "FiraCode-Regular";
 }
 
 .snippet pre code {
-  padding-right: calc(2* var(--base-spacing));
   font-family: "FiraCode-Regular";
 }
 
+.snippet pre code > span {
+  padding-right: calc(2* var(--base-spacing));
+}
+
 dd .snippet {
   margin: 0;
 }

scaladoc/resources/dotty_res/styles/theme/components/table-of-content.css

@@ -8,7 +8,13 @@
 #toc-container {
   width: 232px;
   position: sticky;
-  top: calc(18 * var(--base-spacing))
+  top: calc(18 * var(--base-spacing));
+  padding: var(--base-spacing);
+}
+
+.toc-list {
+  margin-block-start: calc(2 * var(--base-spacing));
+  margin-block-end: 0;;
 }
 
 #toc ul {
@@ -20,8 +26,9 @@
   margin-bottom: calc(2.5 * var(--base-spacing));
 }
 
-#toc li > ul {
+#toc .toc-list li > ul {
   margin-top: calc(2.5 * var(--base-spacing));
+  padding-left: calc(3 * var(--base-spacing));
 }
 
 @media (min-width: 1920px) {

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

@@ -6,6 +6,11 @@ body {
   overflow: hidden;
 }
 
+p {
+  margin-block-start: calc(3 * var(--base-spacing));
+  margin-block-end: calc(3 * var(--base-spacing));
+}
+
 [id] {
   scroll-margin-top: calc(10 * var(--base-spacing));
 }

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

@@ -14,7 +14,6 @@
   transition: width 0.3s ease-in-out;
 }
 
-
 #content > div:first-child {
   overflow: clip;
 }
@@ -172,7 +171,7 @@
 
 /* content first paragraph */
 .first-p {
-    margin-block-start: 0;
+    margin-block-start: calc(2* var(--base-spacing));
 }
 
 #content .first-p {