deploy: ec0974b

typelevel · Feb 18, 2024 · 4d41e2c · 4d41e2c
1 parent eaaeb91
commit 4d41e2c
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 9 deletions.
diff --git a/helium/site/laika-helium.css b/helium/site/laika-helium.css
@@ -161,10 +161,13 @@ h1, h2, h3 {
 
 h1 {
   font-size: var(--title-font-size);
+  margin-top: calc(var(--block-spacing) * 3.5);
+  margin-bottom: calc(var(--block-spacing) * 1.2);
 }
 h1.title {
   padding-top: calc(40px + var(--top-bar-height));
   padding-bottom: 10px;
+  margin-top: 0;
   margin-bottom: calc(var(--block-spacing) * 3);
   border-bottom: 1px solid var(--component-border);
 }
@@ -557,7 +560,7 @@ header .row.links .row.links {
   z-index: 5000;
   left: 20px;
   top: calc(var(--top-bar-height) - 10px);
-  background-color: white;
+  background-color: var(--bg-color);
   border: 1px solid var(--component-border);
   border-radius: 5px;
   white-space: nowrap;
@@ -623,10 +626,6 @@ header .row.links .row.links {
   font-weight: normal;
 }
 
-.nav-list li a code {
-  color: var(--primary-color); /* ensures that code is the same colour as the rest of the text, for consistency */
-}
-
 /* left navigation bar =========================================== */
 
 #sidebar {
@@ -768,10 +767,8 @@ ul.nav-list, #page-nav ul {
 }
 
 .nav-list .active a,
-.nav-list .active code,
 .nav-list .active a:hover,
 #page-nav .header a,
-#page-nav .header code,
 #page-nav .header a:hover {
   color: var(--bg-color);
   background-color: var(--primary-color);
@@ -839,6 +836,9 @@ code {
   white-space: nowrap;
   padding: 0 0.1em;
 }
+a code {
+  color: inherit;
+}
 pre code {
   color: var(--syntax-base5);
   background-color: transparent;

diff --git a/helium/site/landing-page.css b/helium/site/landing-page.css
@@ -63,7 +63,7 @@ p {
   margin: 0;
   padding: 0;
 }
-ul {
+#header ul {
   list-style: none;
   display: block;
   margin: 0;
@@ -82,7 +82,7 @@ ul {
   background-color: var(--subtle-highlight);
   margin-bottom: 5px;
 }
-li {
+#header li {
   padding: 0 10px 0 10px;
   display: block;
   font-size: 16px;
@@ -307,3 +307,28 @@ li {
   right: 0;
   margin: auto;
 }
+
+/* content from landing-page.md =================================================== */
+
+main {
+  width: 100%;
+  margin-right: auto;
+  margin-left: auto;
+  margin-bottom: 70px;
+  padding: 15px;
+}
+
+@media (min-width: 1020px) {
+  main {
+    max-width: var(--content-width);
+    padding: 15px 30px;
+  }
+}
+
+h1.title {
+  padding-top: 30px;
+}
+
+main p {
+  margin: 0 0 var(--block-spacing);
+}