From a12b002f6e2469c6bcebf0dd2217e4b6454e962d Mon Sep 17 00:00:00 2001
From: armanbilge <armanbilge@users.noreply.github.com>
Date: Sat, 16 Sep 2023 17:30:53 +0000
Subject: [PATCH] deploy: eaadcb52f4131737972c1292fc59a55783fa6d01

---
 helium/laika-helium.css | 17 +++++++++++++++++
 index.html              |  2 ++
 2 files changed, 19 insertions(+)

diff --git a/helium/laika-helium.css b/helium/laika-helium.css
index c06bc50..63689a0 100644
--- 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
index 5d58ab2..e5bd928 100644
--- a/index.html
+++ b/index.html
@@ -24,9 +24,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>