deploy: b57d326

typelevel · Sep 16, 2023 · f0369dd · f0369dd
1 parent b0bc98f
commit f0369dd
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/helium/laika-helium.css b/helium/laika-helium.css
@@ -425,6 +425,16 @@ p.title {
   page-break-inside: avoid;
 }
 
+/* mermaid diagrams ==================== */
+
+pre.mermaid {
+  color: var(--bg-color); /* avoiding page load flicker */
+  background-color: var(--bg-color);
+  border: 1px solid var(--primary-medium);
+  text-align: center;
+}
+
+
 
 
 /* top navigation bar =========================================== */
@@ -613,6 +623,10 @@ 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 {
@@ -754,8 +768,10 @@ 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);
@@ -803,6 +819,7 @@ ul.nav-list, #page-nav ul {
   font-size: 1.75em;
 }
 
+
 pre {
   display: block;
   background-color: var(--syntax-base1);

diff --git a/index.html b/index.html
@@ -26,9 +26,11 @@
 
   <link rel="stylesheet" type="text/css" href="helium/icofont.min.css" />
     <link rel="stylesheet" type="text/css" href="helium/laika-helium.css" />
+
   <script src="helium/laika-helium.js"></script>
 
 
+
   <script> /* for avoiding page load transitions */ </script>
 </head>